fun curry f x y = f (x, y);

fun uncurry f (x, y) = f x y;

(* e.g. curry (op +) 1 2 = op + (1, 2) = 3 *)
(* LA, CSSE, Monash 6/2005                 *)
(*
   Exercise:
   Which of the following are legal, and
   if so what is the type, and which are
   illegal, and if so why?
   (i)     curry curry
   (ii)    curry uncurry
   (iii) uncurry curry
   (iv)  uncurry uncurry
*)