MonadPlus test