Template Haskell: allow type splices