>>484
別に特別というわけではないよ。
ただの高階関数。何も省略なんかしていない。
do以外は、特別な文法を加えたわけでもない。

引数を一部しか与えないなんて、Haskellでは普通の話。

また、Worldという型が直接は触れなくて、IO a
を通してしか操作できない、というのも普通の
抽象データ型。良くある話。

参照が副作用になるってどういう意味？