＞＞721
内部の状態をあらわすのに関数定義の内部の各項で「ステップt」という表記が必要という意味？
純粋関数型に「ステップt」表現はあるの？STモナドという迂遠な概念は必要なの？