>>202-203

なんかそもそも思考が逆なんだよな

モナドだから順番があるのではなく（MaybeだのEitherだの考えりゃ、データコンテナとしてのモナドが線形とは限らないのはすぐわかる）、
アクションを結合するという操作がモナド則を満たすから、IOをモナドとして実装できる

ということがわかってない
>>195から何の進歩もない