不純な計算のモデルとしてモナドは強力ですけど、万能ってわけではないですね。例えば、オブジェクト指向風の計算は状態概念を伴います。状態付き計算にモナドを使えますが、あんまり適切じゃない気がするのです。もっと直接的に状態を更新する計算を定式化…