:: Monoid_a _ => _ a -package:base-prelude -package:base-compat-batteries package:Cabal-syntax

The identity of mplus. It should also satisfy the equations
mzero >>= f  =  mzero
v >> mzero   =  mzero
The default definition is
mzero = empty
The identity of <|>