Beispiel: (unbalancierter) Suchbaum

data Tree k = Leaf 
            | Branch (Tree k) k (Tree k)
insert :: Ord k => k -> Tree k -> Tree k
insert k t = case t of ...

Diskussion:

• Ord k entspricht K implements Comparable<K>,

  genaueres später (Haskell-Typklassen)

• wie teuer ist die Persistenz?

  (wieviel Müll entsteht bei einem insert?)