>>280
コンパイル後の機械語での動作はそうなんだろうけど，
haskell の文法上ではポインターなんて概念はないでしょ

IORef 型の値を，Haskell の意味論の中で理解しようとしたとき
どう考えればいいのかわからない．