>>241
参照透過にしたい & 遅延評価にしたい
↓
副作用の扱いに困る
↓
モナドを使えば良いことに気づく

だよ。

ちなみにkenokabeが圏論とか言ってるのは完全にデタラメだよ。