遅延評価無いとモナド使うのマンドクサ。

例外モナドがMaybe aではなく() -> Maybe aだったとすると

do
foo
bar

を

do
(\_ -> foo)
(\_ -> bar)

って書かないといけなくなる。