Re: deriving...

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