snd : ('a * 'b) -> 'b
- snd (1, "foo"); > val it = "foo" : string - snd (1, "foo", []); ! Toplevel input: ! snd (1, "foo", []); ! ^^^^^^^^^^^^^^ ! Type clash: expression of type ! 'g * 'h * 'i ! cannot have type ! 'j * 'k ! because the tuple has the wrong number of components - snd (1, ("foo", ())); > val it = ("foo", ()) : string * unit