forall (m :: * -> *) a. (MonadPlus m) => m a
mzero >>= f = mzero
v >> mzero = mzero