Haskellな人に質問ですけど、IO Monadで参照透明を担保しているのは、モナドそのものの機能ではなくて、IO Monadから値を取り出すことができないというところにあるのですよね。 ああ、いや、参照透明なら置換しても意味が変わらないはずで、IOの回数も変わ…