На этом шаге мы рассмотрим реализацию такой связи.

Объявление типа данных экземпляром указанного класса:

   instance <Имя_класса> <Имя_типа_данных>
   where <Описание_методов_указанного_класса>

После такого описания на заданный тип данных распространяются методы обработки, определённые указанным классом.

На следующем шаге мы рассмотрим монадические классы.