{ a : A, b : T }