Injectivity in Template Haskell - work in progress