Field_extensions.T3
type 'a t = 'a * 'a * 'a
val map : ('a * 'b * 'c) -> f:( 'd -> 'e ) -> 'f * 'g * 'h
val map2 : ('a * 'b * 'c) -> ('d * 'e * 'f) -> f:( 'g -> 'h -> 'i ) -> 'j * 'k * 'l