Type-Driven Generation of RESTful API Bindings in OCaml
medium.com