Something is hosed up and I am getting tired. Section 3.1.3 for higher
order functions.