\begin{slide}{Zusammengesetzte Typen}

Typ $=$ Menge, Zusammensetzung $=$ Mengenoperation:
\begin{itemize}
\item
  Produkt (record, struct)
\item
  Summe (union, case class)
\item 
  Rekursion
\item
  Potenz (Funktion)
\end{itemize}

\end{slide}

