| > | Program 2: module A(module B, ...) where | > | ~~~~~~~~~~ import qualified B | > | ... code that doesn't import B ... | | [...] | | > I don't think it should matter whether B is imported | qualified or not; | > I propose to remove the *unqualified* adjective in the above quote. | | ...but only allow qualified access to B by importers of A, right? I.e. | import A | B.b -- okay | b -- not okay Wrong, and I hope that the report is already unambiguous on this point. If you say 'import A' then you can refer to "A.f" or "f" but definitely not "B.f". The module qualifier is the name of the module named in the import statement (or its "as" alias), not the name of the module where it was originally defined. Simon