[Haskell-cafe] Re: Haskell Propeganda

[jeff p]

Hello,

> Manual Typeable deriving should probably be disabled :-)
>
There are legitimate reasons to define your own Typeable instances.
Since Typeable already contains all the machinery you need to type a
standard functional language, it is nice to just add Typeable
instances when defining your own DSL which builds upon standard
language constructs; the alternative is to recreate the Typeable
machinery for your own type representations.

-Jeff