Alternatives are accepted as they are stated: a union that exists proves nothing about the distinguishability of its
branches, which is a modelling contract settled when a value is matched. An alternative that is
itself a union contributes the alternatives it holds rather than nesting, so that a union of unions reads as the
single flat list of alternatives it admits values from.
Creates a union shape.
Alternatives are accepted as they are stated: a union that exists proves nothing about the distinguishability of its branches, which is a modelling contract settled when a value is matched. An alternative that is itself a union contributes the alternatives it holds rather than nesting, so that a union of unions reads as the single flat list of alternatives it admits values from.