sig
  type ('a, 'b) t = 'a * 'b
  val create : '-> '-> ('a, 'b) t
  val curry : (('a, 'b) t -> 'c) -> '-> '-> 'c
  val uncurry : ('-> '-> 'c) -> ('a, 'b) t -> 'c
  val compare :
    ('-> '-> int) -> ('-> '-> int) -> ('a, 'b) t -> ('a, 'b) t -> int
  external get1 : ('a, 'b) t -> 'a = "%field0"
  external get2 : ('a, 'b) t -> 'b = "%field1"
  val map1 : f:('-> 'b) -> ('a, 'c) t -> ('b, 'c) t
  val map2 : f:('-> 'b) -> ('c, 'a) t -> ('c, 'b) t
end