A considerable amount of engineering effort is continuously deployed to implement and manage servers, and not enough research has been done to improve the experience of creating and maintaining servers. Traditionally, they are implemented by parsing a request and performing the action that corresponds to the functionality advertised by the documentation. We make progress in this area by providing a new \emph{purely declarative} library for servers that avoids errors associated with the tight coupling that emerges from imperative solutions. We use Idris2, dependent types, and lenses to achieve this goal and demonstrate how to implement and extend server APIs with as little code as possible.