Gegeben Sei der algebraische Datentyp data KBaum a = KNode a . Hiermit ist es möglich, Bäume zu modellieren, deren innere Knoten beliebig viele Unterbäume besitzen können. Ein Knoten besitzt daher immer einen Wert vom Typ a und eine Liste mit Unterbäumen. (a) In der Definition des Datentyps KBaum werden keine Blatt- oder Nil-Knoten angegeb..