ようやくStateモナドとIOモナドの同居ができるようになりました。（モナド変換子） それとは全然関係ないですが、途中、Boolを内包するモナドを変数に束縛してb1 || b2という論理式を使い、b1が真ならb2は評価されないと思い込んだらはまりました。 -- ハマ…