>>856
>うん。そのときの共通性っていうの？それが知りたいんやが
モナドの具体例(2〜3個)を知らない人に説明するのは難しい。俺にはできない

>ほんま？そんなことできるわけないやろ。なんかトリックなんやろ？
うん。おおさっぱに言うと、入出力をする関数がない代わりに、入出力をする変なもの(アクション)がある
関数とアクションは型が違うから、関数を見たらそれが入出力をしないことは保証されてる