Variants

The union's arms. tagValue decides dispatch; list order carries no wire meaning. tagValues MUST be unique within the Union and fit taggedBy's range.