This project is joint work with Clément Blaudeau and Gabriel Radanne.
The general case, including applicative and generative functors, as well as transparent ascription Fulfilling OCaml modules with Transparency [ PDF | without appendices | appendices] will appear at OOPSLA’24.
A detailed, pedagogical description, but retricted the generative Retrofitting OCaml Modules [ PDF; Extended version] has been presented at JFLA 2023.