Christian Maeder maeder at
Tue Oct 19 10:42:16 EDT 2004

Simon Peyton-Jones wrote:
>   derive( Typeable (T a) )
> But that means adding 'derive' as a keyword.  Other possibilities:
>   deriving( Typeable (T a) )
> 	-- (B) Re-use 'deriving' keyword
> The trouble with (B) is that the thing inside the parens is different in this situation than in a data type declaration. 
> Any other ideas?

   instance Typeable (T a) deriving

Cheers Christian

More information about the Glasgow-haskell-users mailing list