haskell - 多种类型的功能依赖

Question

GHC 是否可能（在精神上）以下内容？

-- Syntax error: parse error on input `a'
class Foo a b c | (a, b) -> c where
  foo :: a -> b -> c

我有什么选择？

Answer 1

class Foo a b c | a b -> c应该可以正常工作；右侧的语法也相同。

as -> bs仅仅意味着as共同决定了每个bs。