as some of you already asked me directly:

https://github.com/lock3/meta/tree/paper/p2320 is current implementation of P2320, you can also try it in the Compiler Explorer:

https://cppx.godbolt.org/z/TfTTa9 (language: cppx, compiler: p2320 trunk)