Haskell-Typsignatur mit mehreren Klassenbeschränkungen

Question

Wie kann ich mehrere Klassenbeschränkungen haben, wenn also A ist ein Eq y B ist eine Num könnte ich entweder sagen

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

o

f :: Num b => a -> b

Also, wie kann ich die Eq a => y Num b => zur gleichen Zeit?

• f :: Eq a => Num b => a -> b ,
• f :: Eq a -> Num b => a -> b und
• f :: Eq a, Num b => a -> b

hat nicht das getan, was ich wollte.