有没有办法在Template Haskell中找到所有类型的类型类

Question

问题出在标题中。给定一个类型，有没有办法找到它实例化的所有类型类。我正在尝试获取makeField（lens）生成的字段列表。示例

 data Point = Point { _x :: Double, _y :: Double } deriving (Show).

我希望Point获得[HasX, HasY, Show]。 或者，有没有办法让范围内的所有Name？