We can evaluate F with the syntax F (Args).
Functions (funs) are first class objects - they can be passed as arguments to other functions or can be returned by functions.
To illustrate this suppose we define the higher order function adder (C) as follows