Sure, but with a lot more overhead.

I’m not a proponent of qualified export.  I just think it would an unproblematic feature to add if we feel it’s important. 

On Thu, Feb 21, 2019 at 23:43 Henning Thielemann <lemming@henning-thielemann.de> wrote:

On Thu, 21 Feb 2019, Lennart Augustsson wrote:

> Right.

Then my suggestion of providing two modules would solve the problem, too.
Right?