\begin{slide}{Listen}

mit solchen Paaren kann man im Prinzip alles ausdrücken,
z. B. Listen durch syntactic sugar:

\begin{verbatim}
(list      []) --> #u
(list (x:xs) ) --> (pair x (list xs))
\end{verbatim}

\end{slide}
