Я читал LYAH и читал, что класс Num не является подмножеством Ord. Это означает, что существует тип Num, который не является членом Ord, что может представлять такой тип?
Примечание: Num не является подклассом Ord. Это означает, что то, что составляет для числа действительно не нужно придерживаться заказа. Так вот почему мы должны указывать ограничения класса Num и Ord, когда делая сложение или вычитание, а также сравнение.
Спасибо!