Übung Typklassen und Smallcheck

• definiere: Liste ist monoton steigend

  increasing :: Ord a => [a] -> Bool
  

  (a) explizite Rekursion, (b) mit zipWith
• teste mit Test.SmallCheck, ob jede Liste monoton ist
• Einfügen und Suchen in unbal. Suchbaum (mit Tests):

  insert :: Ord a => a -> Tree a -> Tree a
  contains :: Ord a => ...
  

• schreibe als fold: inorder :: Tree a -> [a]
• damit sortieren und Tests dafür
• instance Show a => Show (Tree a) als fold
• implementiere den lexikografischen Vergleich von Listen: instance Ord a => Ord (List a)