\begin{slide}{Die Konstruktorklasse Monad}

Definition:
\begin{verbatim}
class Monad c where
    return  :: a -> c a
    ( >>= ) :: c a -> (a -> c b) -> c b
\end{verbatim}
  
Benutzung der Methoden:
\begin{verbatim}
evaluate e l >>= \ a ->
evaluate e r >>= \ b ->
return ( a + b )
\end{verbatim}

\end{slide}
