Класс Eq используется для типов, которые поддерживают проверку

равенства. Типы,

являющиеся его экземплярами, должны

реализовывать функции == и /=. Так что если у нас есть ограничение

класса Eq для переменной типа в функции, то она может использовать

== или /= внутри своего определения. Все типы, которые

мы упоминали выше, за исключением функций, входят в класс Eq,

и, следовательно, могут быть проверены на равенство.

ghci> 5 == 5

True

ghci> 5 /= 5

False

ghci> 'a' == 'a'

True

ghci> "Хо Хо" == "Хо Хо"

True

ghci> 3.432 == 3.432

True