union

cats

unionSemigroup

union