Obtenir des synonymes de types associés avec le modèle Haskell

Template Haskell peut-il connaître les noms et / ou les déclarations des synonymes de type associés déclarés dans une classe de type? Je m'attendais à reifyce que je fasse ce que je veux, mais cela ne semble pas fournir toutes les informations nécessaires. Cela fonctionne pour obtenir des...