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