На этом шаге мы рассмотрим создание экземпляров классов.
Для автоматического построения экземпляров классов необходимо перечислить названия этих классов в круглых скобках через запятую после ключевого слова deriving в определении типа данных:
data <Имя_типа_данных> = <Объект_1> | <Объект_2> ... deriving (<Имя_класса_1>, <Имя_класса_2>,...)
Замечание. В языке Haskell булевский тип не является встроенным, а определяется в виде структуры данных вида:
data Bool = True | False
На следующем шаге мы рассмотрим связывание типов данных и классов.
