Fair enough. I didn't fully consider the implications. Given what you have raised, I am going to initiate a sick flip in the aisle and now advocate that namespaces can be declared in module interface partitions. Any partition can declare any namespace, and they will all behave as normal.

Normal, for clarity, is as such where:

export module bar namespace foo;

export int frob

{

  return 1;

}

int strob

{

  return 2;

}

is equivalent to

export module bar;

namespace foo

{

  export int frob

  {

    return 1;

  }

}

int strob

{

  return 2;

}

Does that make sense? Where exported names have an implied namespace block wrapping around them?