Haskell type signature with multiple class constraints

They’re usually called class constraints, as Eq and Num are called type-classes.

How about this?

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

The parentheses are significant.