[Haskell] PROPOSAL: class aliases

[Wolfgang Jeltsch]

Am Donnerstag, 27. Oktober 2005 13:18 schrieb Ross Paterson:
> [...]

> extend the class syntax with an annotation on the assumptions (! for now),
> to allow
>
> 	class (Show a, !Additive a, !Negative a, !Multiplicative a) =>
> 			Num a where
> 		fromInteger :: Integer -> a
>
> 		one     = fromInteger 1
> 		zero    = fromInteger 0

I don't think that such a syntax is a good idea, since class contexts are used 
elsewhere where such a syntax doesn't make sense.
 
> [...]

Best wishes,
Wolfgang