Currently monoid for set is union monoid, we could use both.
Currently monoid for set is union monoid, we could use both.