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