OrState

Values

A(v:T1)

B(v:T2)