add MonadPlus#uniteU