Kennen wir in ähnlicher Form schon aus C, für die Definition von verketteten Listen und Bäumen. In Haskell ist es so, dass zu definierende Typnamen rechtsseitig der Definition benutzt werden.

Beispiel1

data BinTree = Nil |
Node Int BinTree BinTree

(Node 17 Nil (Node 4 Nil Nil))

oder auch (und hier wird es wirklich komplex, ein Parser in Haskell?!)

Beispiel 2

data Expr = Opd Int |
Add Expr Expr |
Sub Expr Expr |
Squ Expr

Opd 42 --> 42
Add (Opd 17) (Opd 4) --> 17+4