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

Операторы над типами как параметры в определении класса. Класс типов Functor.

Стандартные классы типов: Enum и Bound, Num и его наследники.

Реализация классов типов.