These don't seem to have Data instances in 6.4.1: Language.Haskell.TH.Exp Data.Tree.Tree I guess there are probably a lot more, I just ran into these today. Is there anything which prevents proper 'deriving' clauses from being added to their definitions? Frederik