

\begin{slide}{Rekursionsmuster (Peano-Zahlen)}

\begin{verbatim}
data N = Z | S N

fold :: ...
fold z s n = case n of
    Z    -> 
    S n' -> 

plus  = fold ...
times = fold ...
\end{verbatim}

\end{slide}
