uncurry : ('a -> 'b -> 'c) -> ('a * 'b) -> 'c
STRUCTURE
SYNOPSIS
Converts a function taking two arguments into a function taking a single paired argument.
DESCRIPTION
The application uncurry f returns fn (x,y) => f x y, so that
   uncurry f (x,y) = f x y

FAILURE
Never fails.
EXAMPLE
- fun add x y = x + y
> val add = fn : int -> int -> int

- uncurry add (3,4);
> val it = 7 : int

SEEALSO
HOL  Kananaskis-14