6.7.9 Union

    A union-value is represented as a bracketed list (see 6.9.7, “Bracketed Pairs/Lists?). The first value is the value of the discriminator. The second value is the value of the variant part selected by the discriminator (if any).