TemplateHaskell prototype works