X : T.T3
val lift : ('a1, 'b1) t ‑> ('a2, 'b2) t ‑> ('a3, 'b3) t ‑> (('a1, 'a2, 'a3) X.t, ('b1, 'b2, 'b3) X.t) t