Классы типов

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