Beispiele f. Typkonstruktoren (I)

• Kreuzprodukt:

  data Pair a b = Pair a b

• disjunkte Vereinigung:

  data Either a b = Left a | Right b

• data Maybe a = Nothing | Just a

• Haskell-Notation für Produkte:

  (1,True)::(Int,Bool)

  für 0, 2, 3,... Komponenten