qualified exports?

[Johannes Waldmann]

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 --