add new method MonadPlus#separate