>>502
もっと具体的に言って？
どこでWorld型の値を参照してて、
どこで副作用が起きてるように見えるの？

もちろん裏では副作用は起きてるわけだけど、
Haskellの世界では全く見えないはずだが。

ストリーム使ったI/Oや継続使ったI/Oでも、
副作用が単に隠されてるだけなのは同じだよね。