While thinking of top-level modules for libraries (packages), I thought it would be uesful if the module could export indentifiers from submodules, but with their qualified names. The effect would be that after module Top ( module Foo , module Bar ) where import qualified Foo import qualified Bar one could just write `import Top' and then use the names `Foo.frobs' etc. What does the languages standard say about the above example? Section 5.2.5 only mentions "The set of all entities brought into scope from a module m by one or more unqualified import declarations ..." Best regards, -- -- Johannes Waldmann ---- http://www.informatik.uni-leipzig.de/~joe/ -- -- joe@informatik.uni-leipzig.de -- phone/fax (+49) 341 9732 204/252 --