\begin{slide}{Weitere Beispiele für Folds}

\begin{verbatim}
data Tree a 
  = Leaf { key :: a }
  | Branch { left :: Tree a, right :: Tree a }

fold :: ...
\end{verbatim}
  
\begin{itemize}
\item Anzahl der Blätter
\item Anzahl der Verzweigungsknoten
\item Summe der Schlüssel
\item die Tiefe des Baumes
\item der größte Schlüssel 
\end{itemize}

\end{slide}

\begin{slide}{Rose Trees}

\begin{verbatim}
data Tree a = 
    Node { key :: a
         , children :: [ Tree a ]
         }
\end{verbatim}
  
  \begin{itemize}
  \item vgl. HTML/XML-Dokumente
  \item Binomialbäume
  \item Übersetzung in binäre Bäume
  \item Binomialheaps, leftist heaps
  \end{itemize}

das Rekursionsschema für Rose-Trees? 

\end{slide}
