It seems that GHC does this by default (which is technically wrong, perhaps). I've just tried it. Simon | -----Original Message----- | From: glasgow-haskell-users-bounces@haskell.org [mailto:glasgow-haskell-users- | bounces@haskell.org] On Behalf Of MR K P SCHUPKE | Sent: 07 July 2004 11:34 | To: glasgow-haskell-users@haskell.org | Subject: type synonyms in instances... | | | Is there any chance of enabling type synonyms in instance declarations. | I remember a posting where is was stated that there was no technical | reason for not being able to do this. | | Could we perhaps have a command line switch to enable this... | | For example, I think the following:- | | instance (HList e HNil) where ... | | is more readable as: | | type HSingleton e = HCons e HNil | | instance (HSingleton e) where ... | | Keean. | _______________________________________________ | Glasgow-haskell-users mailing list | Glasgow-haskell-users@haskell.org | http://www.haskell.org/mailman/listinfo/glasgow-haskell-users