Подпись типа Haskell с несколькими ограничениями класса

Как я могу иметь несколько ограничений класса, поэтому, если 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

не сделал того, что хотел.