fun g (x : int * (int*int)): int * int is
  snd x
end
(1, (2, 3))
;