Add Reader monad