let T = < A : {} | B : {} >

in  let t = constructors T

in  t