IO型は、使うだけなら簡単に思える。たとえば String -> IO () という型の putStr に文字列を渡せば、それが画面に印字される。

Main >putStr "abcdef\n"
abcdef

putStr の出力は IO () 型なので、結果として印字された「abcdef」は文字列ではない。じゃあ、IO () 型の出力はどこにいったんだろう？ Show クラスのインスタンスがないということ？ でも、だとしたらGHCがエラーを出力するんじゃなかったっけ？

とにかく絶対に IO () な何かが関数の結果として返ってきているはずなので、IO () -> String な関数を定義してそれに putStr をつないでみた。

vacant :: IO () -> String
vacant o = "munashii"

Main >vacant $ putStr "subarashii\n"
"munashii"

どうして「subarashii」が印字されないん？

結局、これはやっぱり副作用じゃないってことなんだろうな。Scheme でも同じことをすると、

gosh> (define (vacant o) "munashii")
vacant
gosh> (vacant (print "subarashii"))
subarashii
"munashii"

これが本物の副作用ということなのか！