Such declarations are possible (as would be accepting fully-qualified references to not-yet-existing things), but the devil's in the details again - e.g. what if the other ns doesn't yet exist?
And the complexity/utility tradeoffs must be considered.
And the complexity/utility tradeoffs must be considered.