5 Feb
2014
5 Feb
'14
8:01 p.m.
On Wed, Feb 5, 2014 at 7:59 PM, wren ng thornton
The rules I'd expect MonadPlus to obey are:
mzero >>= f = mzero
(x `mplus` y) >> mzero = (x >> mzero) `mplus` (y >> mzero)
Er, sorry, that should've been: (x `mplus` y) >> z = (x >> z) `mplus` (y >> z) from which the above instance follows trivially. -- Live well, ~wren