A bit more work on the extended Reader example
Attempted to implement the Writer monad