I just joined this list after finally obtaining an i386 machine primarily for the purpose of running GHC (I ssh/ftp to it from my Mac). A quick question: is there an option to allow empty datatypes in GHC 5.00? I couldn't see one in the manual. They are useful for type parameterisation, for instance: data Zero; data Succ n; Unfortunately this is contrary to the Haskell Report. Nevertheless, Hugs allows it. But GHC, apparently, does not. -- Ashley Yakeley, Seattle WA