\begin{slide}{Suche in Suchbäumen}

Implementieren Sie eine Funktion
\begin{verbatim}
contains :: Tree Int -> Int -> Bool
\end{verbatim}
so daß \verb|contains t x| genau dann wahr ist,
wenn \verb|x :: Int| als Schlüssel in \verb|t :: Tree Int| vorkommt.

Achten Sie auf
\begin{itemize}
\item
  Typkorrektheit
\item
  semantische Korrektheit
\item
  Effizienz
\end{itemize}

\end{slide}
