Qualified names in import lists

[Malcolm Wallace]

>  module Main where
>  import Foo (Bar.bar)
>
> GHC apparently accepts this code, but I can find no mention of such a
> feature in the GHC docs.

It certainly is an extension beyond Haskell'98 and Haskell 2010, which  
do not permit qualified names in import lists.  I cannot think for any  
use for such a feature, never mind a good one.

If ghc really does accept the example given, I would like to know what  
entity Bar.bar refers to, since it cannot possibly be exported by Foo.

Regards,
     Malcolm