>> 390
>> 395
それってむしろ型クラス(と型推論)の手柄なんじゃ…

モナドって何が便利なんだろうね
俺はモナドという構造がプログラミング言語の中に案外たくさんあるから
型クラスを使って共通のインターフェースを与えることにしたみたいな解釈だけど