ついでなのでStateモナドの定義を最後まで． MonadFixクラス StateモナドはMonadFixクラスのインスタンスでもあります．Stateモナドから離れて，MonadFixクラスを考えてみます．何なんでしょう，これ．Fixというからには何かを固定するはずです． class (Mon…