Typesafe, compositional routing and reverse routing for web apps and HTTP microservices - View it on GitHub