This abstraction takes a function as an argument that expects
two arguments and returns a function expecting only one
argument. That this abstraction can be very useful is shown below
introducing the abstraction `mapc'.
The `curry' abstraction is named after the logician H.B. Curry.
(define curry
(lambda(f)
(lambda(x)
(lambda(y)
(f x y)))))
