多种类型的功能依赖

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 。