Stateモナド - おっぱい大魔神の日記http://itpro.nikkeibp.co.jp/article/COLUMN/20070109/258229/ より． newtype State s a = State { runState :: s -> (a, s) } instance Monad (State s) where return a = State $ \s -> (a, s) m >>= k = State $ \s -> let (a, s') = runState m s in runState (k a) s' State モナド内の値は、ある初期値から、(value,newState) のペアへの遷移関数として表現される． Stateはs -> (a, s)という型を持つ関数を格納するコンテナです。 Stateモナドのreturnは，aという値から\s -> (a, s)というラムダ抽象を作り出し，
1章P1：Tree型の表示について - おっぱい大魔神の日記
