Moved TemplateHaskell pragma to global scope, switched tags to be generated by hothasktags