そこ(の一部)を埋めるのがプログラミングのモナド。