>IO型のデータ構築用の関数について知るには、どこを見ればよいでしょう？？
一覧が欲しいってこと？IO動作を返す関数なんていくらでも書けるし、
Cの関数を自由にforeign importできるから完全な一覧はありえないけど、
Haskell98の範囲なら、Prelude, Monad, IO, Directory, Systemあたりのライブラリを
調べればいいんじゃないだろうか。
これらのライブラリの仕様はHaskell Reportに載ってる。