Union You can union two values with the (infix) union | operator. Union rules U1: U2: U3: U4: U5: U6: U7: