Create an example of using the reader monad
Rename "state" to "config"
Derive functor and applicative instances too
Add a motivating comment

Mostly copied from `globalstate.hs`.