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
_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell
