>>750
必要性はない。
必要性はなくともモナドになるならモナドにする利点はある。

>>755
Haskell の関数にすると時間が経つごとに過去を全て計算し直すことになる。