Sorry I wasn't aware of other messages on this thread until after I sent mine. My mail filter has confused me. - Zhanyong Wan I wrote: | If you don't want to build ghc, or would rather use hugs, here's a (dirty) | trick which John Hughes used in his "restricted data types" paper | (I hope I recall correctly) to specify kinds.