そういえば、いまだにgetCharが参照透明性を失ってない理由がわからない。
IO 'a'とIO 'b'は別の値ということで良いんですか？
別の値なのに、参照透明性を失ってないということなんですか？