如何摆脱这种歧义？

Question

我很确定以前有人问过这个问题，但是我找不到正确的答案：

我试图消除以下示例代码 sn-p 中的歧义：

{-# LANGUAGE MultiParamTypeClasses #-}

class FooBar a b where
    foo :: a -> a
    foo = id
    bar :: a -> a
    bar = foo        -- ERROR AT THIS LINE

我收到如下错误消息：

Ambiguous type variable `b0' in the constraint:
      (FooBar a b0) arising from a use of `foo'
    Probable fix: add a type signature that fixes these type variable(s)
    In the expression: foo
    In an equation for `bar': bar = foo

这是可以理解的。但是请注意，我实际上无法遵循编译器的建议并修复有问题的类型变量：foo 在其类型签名中不包含b 类型变量。这也不起作用：

    bar = (foo :: FooBar a b => a -> a) -- ERROR, the same error message

即使启用了-XScopedTypeVariables 也不行。

如何告诉 GHC 使用哪个 FooBar？有没有可能？

编辑

以下一些答案：是的，我听说过函数依赖和关联类型。

至于功能依赖——我正在寻找一种方法来明确告知 GHC 使用哪个实例（而不是要求它自己派生正确的类型）。

至于两者 - 在这个来自现实世界的示例中，我实际上需要两个参数 a 和 b 是独立的。

再说一遍：我知道这个例子非常愚蠢，我知道b 没有用在类型类的主体中，这没有任何意义。这是对现实世界示例的极端简化，这实际上是有道理的。真正的用例涉及使用 b 类型的 a 类型的“可替代性”，然后使用 c 类型的 a 和 b 类型的“统一性”，不幸的是要长得多。

编辑(2)

好的，抱歉。我想你毕竟说服了我，我必须重构代码，以免有任何定义不明确的函数（即在其类型签名中不包含所有独立类型的函数）。不过，和你交谈真的帮助我思考了这件事。赞赏。

Answer 1

如果你引入一个函数依赖，class FooBar a b | a -> b where，它会解决它，但没有它（或关联类型），我认为不可能解析要使用的实例。

哦，一种方法，但有点丑：引入一个 b 类型的虚拟参数

class FooBar a b where
    foo' :: b -> a -> a
    foo' _ = id
    bar' :: b -> a -> a
    bar' b = foo b

Answer 2

即使您将bar 从课程中完全删除，您的课程也是不明确的。假设您有以下课程：

class FooBar a b
  where
    foo :: a -> a
    foo = id

假设现在你想在这个类的定义之外使用foo。

e = .... foo x .....

GHC 会抱怨与您的错误消息类似的错误消息，即找不到b 的类型。仅仅是因为您的代码不提供这种类型。您的类型类声明说每对类型 a 和 b 可能会获得一个实例。因此，即使a 在foo 的调用中被修复，仍然有任意多个可能的实例可供选择。

函数依赖a -> b 可以解决这个问题，因为它声明：给定一个类型a，可能只有一个Foobar a b 的实例。关联类型通过不使用多参数类型类来避免该问题。

关于 OP 的编辑：

如果你坚持有两个类型参数。那么类型类的每个方法的签名都必须包含该类的每个类型变量。没有办法解决。