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

[Daryoush Mehrtash]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20081009/5c5f6726/attachment.htm