A type provider for self-documenting RESTful services.