adam@1720: fun f (x : int * float) : string = x adam@1720: fun g (x : int * float * bool) : string = x adam@1720: fun h (x : {A : int, B : float, C : bool}) : string = x