\begin{slide}{Funktoren und Monaden}

Jede Monade ist ein Funktor
\begin{verbatim}
class Functor m => Monad m where ...
\end{verbatim}

\bigskip

Das \verb|fmap| aus \verb|Functor|
kann man darstellen durch \verb|>>=, return|
bzw. durch \verb|do, <-, return|

\bigskip

Vervollständige und beweise die Gesetze
\begin{verbatim}
( fmap f m ) >>= g    ==   m >>= ( ... )
m >>= ( fmap g . f )  ==   ...
\end{verbatim}

\end{slide}
