haskell - 查找任意类型表达式的实例

Question

有没有办法说服 GHCi 告诉我一些任意类型表达式实现了哪些类型类实例？

显然，您可以使用该:info命令查找类型构造函数的所有实例。但是一些复杂的类型表达式呢？

例如，如果我想知道哪些实例Maybe Int有（不是Maybe，但是Maybe Int），我该怎么做？

我试过了

 :info Maybe Int

但这只是给了我信息Maybe，然后是信息Int。它将它视为两个单独的类型构造函数，而不是类型表达式。

特别是当您有复杂的 monad 转换器堆栈时，特定堆栈可能具有哪些实例并不总是很明显。

标签： haskelltypeclassghci