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