haskell - 複数のクラス制約を持つHas​​kell型シグネチャ

Question

どうすれば複数のクラス制約を設定できるので、Aがで、EqがBである場合Num、次のいずれかを言うことができます。

f :: Eq a => a -> b`

また

f :: Num b => a -> b

Eq a =>それで、どうすればNum b =>同時に持つことができますか？

• f :: Eq a => Num b => a -> b、
• f :: Eq a -> Num b => a -> b、 と
• f :: Eq a, Num b => a -> b

私が望んでいたことをしませんでした。

Answer 1

それらは通常、型クラスと呼ばれるように、クラス制約と呼ばれます。EqNum

これはどう？

f :: (Eq a, Num b) => a -> b

括弧は重要です。