Begin work on applicative functor code
Surroundings and prereqs complete