>>178
>モナドが合成できないということは、代数的議論としてはそうだと言ってればいいんだろうが、
>プログラミングとしては、致命的なのではないの？

そりゃモナドでプログラミングしたことなきゃわかんないよな