{ a : if True then A else B, b : T }