>>46
IOモナドを使った関数も参照透明だよ。
個人的には、IOモナドを「副作用を閉じ込める」と表現したり、
値を取り出せるかどうかを云々しても混乱するだけだと思う。
むしろ、IO aとaは全然別のものであるという認識を推奨。
実際、IO aの中にa型の値など入っていない。
この辺読んでみたらどうだろう。
ttp://www.ice.nuie.nagoya-u.ac.jp/~h003149b/lang/haskell_io.html