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