let Union = < A : Text | `B C` >

in  Union.