多种类型的功能依赖性

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只是意味着为共同确定每BS。