How can I have multiple class constraints, so if A is an Eq and B is a Num, I could say either
A
Eq
B
Num
f :: Eq a =&g
