Obtendo sinônimos de tipo associado ao modelo Haskell

O Template Haskell pode descobrir os nomes e / ou as declarações dos sinônimos de tipo associados declarados em uma classe de tipo? Eu esperava reifyque fizesse o que eu quero, mas parece não fornecer todas as informações necessárias. Ele funciona para obter assinaturas de tipo de função: %...