Applicative lesson 5: The Reader context

The Applicative series continues its study of the notion of applicative functors as contexts for computation. Previously we talked about the Functor for the function type – or, more precisely, for (->) a, the partially applied function type. In this lesson we again discuss functions, this time looking at the Applicative instance often referred to as reader.