25 Aug
2008
25 Aug
'08
1:03 a.m.
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