Die Konstruktorklasse Monad

Definition:

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

Benutzung der Methoden:

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