Type-driven code generation for OCaml
