add MonadPlus#uniteU
MonadPlus#uniteU test