[IsTom]

Notably many languages in ML family have first class modules.

[pjmlp]

Only Standard ML and OCaml, as far as I am aware.

However this is a different kind of modules, with them being present on the type system, and manipulated via functors.