I've decided to tackle the issue in a proposal:
https://isocpp.org/files/papers/D3969R0.html

Thanks for the feedback, it's been quite helpful in making this draft and
addressing possible design alternatives.