モナドとコモナド、それらを組み合わせたもの、条件の一部を取り除いたものなどを、モナド類似物〈monad-like entity〉と呼ぶことにします。今までに、さまざまなモナド類似物に出会ってはいるのですが、それらを統一的に理解することがなかなか出来ませんで…