type synonyms in instances...

MR K P SCHUPKE k.schupke at imperial.ac.uk
Wed Jul 7 06:33:48 EDT 2004

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 ...


More information about the Glasgow-haskell-users mailing list