Specifying Kinds of Types

Zhanyong Wan zhanyong.wan@yale.edu
Mon, 11 Feb 2002 14:59:37 -0500

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.