Die Konstruktorklasse Monad

Definition:

class Monad m where
    return  :: a -> m a
    ( >>= ) :: m a -> (a -> m b) -> m b

Benutzung der Methoden:

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