Working the Reader Monad document examples