多種類型的功能依賴性

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。