more collection semigroups