\emph{Modular implicits} are a proposal for extending OCaml with implicit module arguments, that is, first-class modules, which are inferred from their signatures, and passed as arguments to core-language functions, with a twelve-year old prototype implementation. We are now in the process of formalizing module implicits and integrating them in \OCaml. A first preliminary step, \emph{modular explicits}, which extended the language of modules to enable a simpler interaction between the module language and the core language, is about to be integrated in \OCaml. % This work focuses on the next step, \emph{implicit modules}, which is the synthesis of modules from their signatures—but without interaction with the core language, the final step, which is left for future work.