Changing the arity of a function:`curry'

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.