>>356 ありがと

>私が個人的に抱いているイメージなんで

いやそれで十分

>x >>= f という式は、Monad クラスの「どのような」インスタンス型でも成り立つ

うん。だけどそれがどれほど嬉しいのかが分からん

>なぜわざわざ箱に入れるのか、つまり何故モナドにするのかと言えば、
>プログラマの視点から言えば、箱の中身を触らないようにするためだ。
>たとえば State モナド。
>ユーザーによってその状態を表す値が勝手に書き換えられたら、整合性がとれなくなる。
>だから State モナドは状態を表す値を隠し、
>特別に用意された関数を通してしかアクセスできないようにしている。

ここは違うんじゃないの？箱は隠蔽のためではないでしょ？