type ('a, 'b) t = {
  f: 'a -> 'b;
  g: 'a -> 'b;
}

let map (phi: int -> string) pair =
  { pair with f = (fun x -> phi (pair.f x)) }