>>749
答えになってないような。
IO String 型だとどうして参照透過性が保証できるの?