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 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe