Elevar um tipo de restrição Typeable para um tipo Template Haskell
