:: Monoid_a _ => _ a -package:base-prelude -package:xmonad-contrib package:classy-prelude
The identity of
mplus. It should also satisfy the equations
mzero >>= f = mzero
v >> mzero = mzero
The default definition is
mzero = empty
Retrieves the monad environment.