Конструктор типа

Конструктор типа — в языке программирования Haskell (и некоторых других языках функционального программирования, а также в модели статической типизации Хиндли — Милнера) наименование алгебраических типов данных. Конструктор типа объединяет один или более конструкторов данных.