俺、いつもはMLしか使ってなくてHaskellは詳しくないんだけど、
Haskell（特にGHC）って例外処理とか、入出力じゃない副作用も
どんどんIOモナドに入ってるじゃん。

モナドの合成が理論的に難しいかららしいけど、そのうちに現実的な
プログラムだと何でも一つのモナドの中で書くことになって、ほとんど
MLみたくなったりはしないの？（手続き型言語とまではいわないけど、
「どこでも副作用」って感じで）