OrValMonoid and AndValMonoid