Add injectivity support in Template Haskell