A family of combinators for defining webservices APIs
