Почему не каждый тип Eq является частью Haskell?

Вернее, почему (==)нельзя использовать для каждого типа данных? Почему мы должны выводить Eqourseleves? В других языках, таких как Python, C ++ и, конечно же, в других, он имеет реализацию по умолчанию для всего! Я не могу придумать типы, которые нельзя сравнивать.