MonadPlus Reform