Ein Produkt ist im wesentlichen ein "Typisiertes Tupel" mit Konstruktor. Es gibt hier alternativlose, mehrstellige Konstruktoren.

Beispiel

type Name = String
type Alter = Int
data Leute = Person Name Geschlecht Alter

Konstruktor

Der Konstruktor von Leute sieht folgendermaßen aus:

Person :: Name -> Geschlecht -> Alter -> Leute

Vergleich zu Tupel

type Leute = (Name, Geschlecht, Alter)

Vorteile gegenüber Tupel

• Markierung mit dem Konstruktor -- dient der Dokumentation.
• Komponentenweise Typensicherheit
• daraus folgend aussagekräftigere Fehlermeldungen

Nachteile gegenüber Tupel

• Längere Definitionen, weniger kompakt
• Polymorphe Standard-Tupelfunktionen wie fst, snd, zip und unzip stehen nicht zur Verfügung.

Beispiele

data Euro = EUR Float
data Yen = YEN Float
data Temperature = Temp Float