Start on an adventure into reader and writer monads.