関数型プログラミング言語を触っていると，「モナド」という言葉が登場します．関数型プログラミングの文脈でのモナドは，圏論という数学の一分野が元ネタです．しかし，モナドにはさらに元ネタがいます．高校の倫理をやった方は，聞き覚えがあるかもしれま…