Renderer monad (= ReaderT handler IO). so now implicitly carrying handler.