Template Haskell能找出在类型类中声明的关联类型同义词的名称和/或声明吗?我期望reify能满足我的需求，但它似乎没有提供所有必要的信息。它适用于获取函数类型签名:然而，向类中添加关联的

Template Haskell似乎经常被Haskell社区视为一种不幸的便利。很难用语言准确描述我在这方面的观察，但可以考虑以下几个例子在“丑陋的(但必要的)”中列出的Haskell模板，以回答用户