Template Haskell quasiquoter for type names

How deep down the rabbit hole are we going to go?