スマートコン @mr_konn 本質は (>=>)でありながら実用するのが圧倒的に (>>=) であるせいでモナド則がグロテスクに見えすぎる。モナド怖い病の原因ですね…… 2010-05-25 13:50:37 スマートコン @mr_konn モナド則の恐ろしいところは、『左右単位元が存在し、結合法則がなりたつある種の関数合成』を持つデータ構造、という簡潔な条件だけでほぼあらゆる副作用を表現出来てしまうところにあると思う 2010-05-25 13:53:43 でちまるさん(実際かわいい) @decimalbloat @mr_konn もう一つ、 return >=> f = f, f >=> return = f, (f >=> g) >=> h = f >=> (g >=> h) だけ言われても「で、これは何?」「モナドです」という押し問答にしかならないこと 2010-05-25 13
![モナドって何ですか?のガイドライン](https://cdn-ak-scissors.b.st-hatena.com/image/square/4dc37ac090e7937887d8168f739a26f87f2f9d39/height=288;version=1;width=512/https%3A%2F%2Fs.togetter.com%2Fogp2%2F4ecf68901acf1c1fda529f4902fd65b0-1200x630.png)