> > type GNode a = a > > Thanks for the report - this bug is new to us. You are right that nhc98 > should accept this program, and that the error message is confusing. This bug is now fixed in CVS. A patch for nch98-1.16 is available from the downloads webpage. http://haskell.org/nhc98/download.html ftp://ftp.cs.york.ac.uk/pub/haskell/nhc98/patch-1.16-typesyn Regards, Malcolm