(1) で示したパターンは、Haskell で既に状態モナドとしてパターン化されている。GHC 7.0.4 では状態モナドは以下のように定義されていた。 GHCi, version 7.0.4: http://www.haskell.org/ghc/ :? for help (略) Prelude> :module Control.Monad.State Prelu…