[Template-haskell] splices in type signatures