MonadPlus#uniteU test