First class modules

Tom Pledger
Tue, 7 Nov 2000 17:58:30 +1300 (NZDT)

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?