[Haskell-cafe] instance reification in TH