>>396
つまりHaskellでゲームを作る場合

　・関数Fを評価するとその関数はモナドを返す
　・そのモナドの中身にはステーを反映した関数F'のインスタンスが定義されている
　・次のフェーズではF'を評価してF''のインスタンスが格納されたモナドを返して
　・・・・

この世代交代を毎フレームするってこと？