On Thu, 21 Feb 2019, Lennart Augustsson wrote:

> Qualified exports seem very unproblematic to me.  And they should be
> easy to implement. It’s just an extra flag on each exported entity that
> tells compiler if the unqualified name should be entered into the symbol
> table or not. 

But it subverts the idea of disambiguation by renaming the module name at
the import site.