Lift a type from a Typeable constraint to a Template Haskell type
