Refactor Server with ReaderT