First-class module
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
Haskell proposals
Mark Shields and Simon Peyton Jones's First-class Modules for Haskell discusses a lot of extension proposals integrated in a coherent design.
Other examples
Cayene is a programming laguage influenced by Haskell and constructive type theory. Because it has also Dependent types, it can leverage them so that it is not forced to have a separate module language and a core language.