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