Agreed. We're always trying to move Template Haskell code into new and more powerful type system features.