Evaluating for example, adder (10) returns a function which adds 10 to its argument:
Suppose, also, that we have the function map defined as follows:
We can use this as follows:
Here we used the Add10 function as an argument to map.
List comprehensions are introduced by the syntax [Term//P1..] where each of the Pi's is either a generator of the form Pattern