Algebraische Datentypen

• Listen:

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

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

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

• Übung: Peano-Zahlen, Wahrheitswerte

Def: Kompositum = rekursiver algebraischer Datentyp