Классы типов

Параметрический и специальный полиморфизм. Классы типов. Объявления представителей (instance declaration).
Пример: классы Eq и Ord.
Операторы над типами как параметры в определении класса. Класс типов Functor. Реализация классов типов.