複数の種類の機能依存性

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を決定することを意味します。