Definition, Motivation

• Beispiel: binäre Bäume mit Schlüssel vom Typ e

  data Tree e = Leaf 
              | Branch (Tree e) e (Tree e)
  Branch Leaf True Leaf :: Tree Bool
  Branch Leaf 42   Leaf :: Tree Int
  

• Definition:

  ein polymorpher Datentyp ist ein Typkonstruktor
  (= eine Funktion, die Typen auf einen Typ abbildet)

• unterscheide: Tree ist der Typkonstruktor, Branch ist ein Datenkonstruktor