Hi,

I just wrote this paper about the topic and I would be interested on SG20 opinion
https://isocpp.org/files/papers/P3781R0.html
I stumbled across this when playing around with reflection and I had the feeling that it might be not intuitive when teaching.
The important part of the paper is the "Motivating example"

Bests,

Xavi