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 -> bsasは単に、集合的にすべてのbsを決定することを意味します。