Wie kann ich mehrere Klasseneinschränkungen haben, also wennA ist einEq undB ist einNumKönnte ich auch sagen

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

oder

f :: Num b => a -> b

Also, wie kann ich habenEq a => undNum b => zur selben Zeit?

f :: Eq a => Num b => a -> b,f :: Eq a -> Num b => a -> b, undf :: Eq a, Num b => a -> b

habe nicht getan was ich wollte.