Type_equal.Lift3
type ('a, 'b, 'c) t
val lift : ('a1, 'b1) equal -> ('a2, 'b2) equal -> ('a3, 'b3) equal -> (('a1, 'a2, 'a3) t, ('b1, 'b2, 'b3) t) equal