deriving...

[Christian Maeder]

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