Algebraische Datentypen

• Listen:

  data List a = Cons a (List a) | Nil
  

• Bäume (mit Schlüsseln in Blättern):

  data Tree a = Branch (Tree a) (Tree a)
              | Leaf a
  

• Übung: Peano-Zahlen, Wahrheitswerte

Def: Kompositum = rekursiver algebraischer Datentyp