Obteniendo sinónimos de tipos asociados con la plantilla Haskell

¿Puede Template Haskell descubrir los nombres y / o las declaraciones de los sinónimos de tipo asociados declarados en una clase de tipo? Esperaba reifyhacer lo que quisiera, pero no parece proporcionar toda la información necesaria. Funciona para obtener firmas de tipo de función: % ghci GHCi,...