>>46
[モナド] を理解することと、
[モナドで副作用を閉じ込める仕組み（IO モナド）] を理解することは別だからね。


[モナド] と [モナドの演算] というのは、有理数と割り算みたいなもの。

[有理数]
1. 整数 x を □/1 でくるめば（x/1）有理数になる（整数を有理数に変換）
2. 有理数どうしならば割り算（÷）という特別な演算ができる
3. 割り算した結果できたものもまた有理数だ
4. 有理数には特別な性質がある（4/8 も 2/4 も既約分数にすれば同じとか、ゼロでは割れないとか）

[モナド]
1. 何でもいいが何か x を return □ でくるめば（return x）モナドになる（何かをモナドに変換）
2. モナドどうしならバインド（>>= や >>）という特別な演算ができる
3. バインドした結果できたものもまたモナドだ
4. モナドには特別な性質がある（モナド則とよばれるルール）

モナドとは本質的に何か探るのではなく、こういうことができるものにモナドと名前が付いてる、
という方向からモナドを理解するやりかたもあるよ。

どちらも 1. と 3. は何も特別なことはなく、各々の特徴は 2. と 4. に現れている。
だから 2. と 4. がどのようなものかを知れば、モナドが見えてくるよ。