Although Hat does support "import Prelude hiding (head)", if you substitute other symbols than "head", in at least some cases it will fail: bash$ cat Bug.hs import Prelude hiding (sin) bash$ hmake -hat Bug hat-trans Bug.hs Wrote Hat/Bug.hs /usr/bin/haskell-compiler -c -package hat -o Hat/Bug.o Hat/Bug.hs Hat/Bug.hs:8: Module `Hat.Prelude' does not export `asin' Fortunately there is a reasonably easy work-around for this one: instead of using "import Prelude hiding ...", you can use "import qualified Prelude" and then explicitly qualify all Prelude symbols. -- Fergus J. Henderson | "I have always known that the pursuit Galois Connections, Inc. | of excellence is a lethal habit" Phone: +1 503 626 6616 | -- the last words of T. S. Garp.