Haskell типа подписи с множественными ограничениями класса

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

Обычно их называют ограничениями класса, так как Eq и Num называются типами классов.

Как насчет этого?

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

Скобки значительны.