Reader monad for dependency injection