We’ve been working on refining P2996. A preview of the next version is available as D2996R1:

https://isocpp.org/files/papers/D2996R1.html
https://isocpp.org/files/papers/D2996R1.html

Thank you to everyone who has been commenting on the R0 version.

 Daveed