disjoint union: See tagged union