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