Do-Notation für Monaden

evaluate e l >>= \ a ->
    evaluate e r >>= \ b ->
        return ( a + b )

do-Notation (explizit geklammert):

do { a <- evaluate e l
   ; b <- evaluate e r
   ; return ( a + b )
   }

do-Notation (implizit geklammert):

do a <- evaluate e l
   b <- evaluate e r
   return ( a + b )

Haskell: implizite Klammerung nach let, do, case, where