First class modules

Hallo again.

Supposing that (some version of) Haskell had first class modules, and
type variables could be universally quantified at the module level,
would rule 2 of the monomorphism restriction go away?

Is this among the aims of the "First-class modules for component-based
programming" (proposal document by Simon Peyton Jones and Mark Jones,
1996) research project?

Regards,
Tom