instance Typeable

[Christian Maeder]

Simon Peyton-Jones wrote:
> GHC 6.0 supports deriving( Typeable ), but for some strange reason it's
> not in the manual.  It will be.
> 

Yes, I tried it before and gave up after a message:

../HasCASL/As.hs:24:
     Can't make a derived instance of `Typeable BasicSpec'
     (`Typeable' is not a derivable class)
     When deriving instances for type `BasicSpec'


But with "-fglasgow-exts" it works! (and Data.Dynamic needs to be imported.)

Christian