Type-driven code generation for OCaml - View it on GitHub