[Haskell-cafe] how do you deal with mplus?

9 Oct 2008

      Assuming A, B, C are monadic operation.   How do you read the following
function:

    do
        A 'mplus'  B
        C

I expect this to translate to:

(A 'mplus' B) >>= C

Can I then say it is equivalent to:

  (A >>=C)  mplus (B >>=C)

Thanks,

Daryoush

Daryoush Mehrtash