Virtuelle Datenstrukturen

sort :: [ Int ] -> [ Int ]
sort [] = []
sort (x : xs) = 
   let ( low, high ) = partition ( < x ) xs
   in  sort low ++ [ x ] ++ sort high

durch Transformation sind Node/Leaf/Tree verschwunden!

es ist Aufgabe eines intelligenten Compilers, solche Möglichkeiten zu finden und auszunutzen.