Подпись типа 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, and
f :: Eq a, Num b => a -> b
не делал то, что хотел.