\begin{slide}{Do-Notation für Monaden}

\begin{verbatim}
evaluate e l >>= \ a ->
    evaluate e r >>= \ b ->
        return ( a + b )
\end{verbatim}

do-Notation (explizit geklammert):
\begin{verbatim}
do { a <- evaluate e l
   ; b <- evaluate e r
   ; return ( a + b )
   }
\end{verbatim}  

do-Notation (implizit geklammert):
\begin{verbatim}
do a <- evaluate e l
   b <- evaluate e r
   return ( a + b )
\end{verbatim}  
Haskell: implizite Klammerung nach
\verb|let|, \verb|do|, \verb|case|, \verb|where|

  
\end{slide}
