Beispiel Suchbäume

t ist Suchbaum $\iff$ Inorder-Reihenfolge ist monoton steigend:

inorder :: Tree a -> [a]
inorder t = case t of ...

Einfügen eines Elementes in einen Suchbaum:

insert :: Ord a => a -> Tree a -> Tree a
insert x t = case t of

inserts :: Ord a => [a] -> Tree a -> Tree a
sort xs = inorder $ inserts xs Leaf