Beispiele f. Typkonstruktoren (II)

• binäre Bäume

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

• Listen

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

• Bäume

  data Tree a = Node a (List (Tree a))