adds Reader monad