Comment by pjmlp

You can do this kind of type oriented programming in C++, unfortunely as many people only use it as a better C, this knowledge is seldom widespread, and even when demoing, it needs a lot of advocacy alongside compiler explorer to actually make the point across.

And then the audience will nod yes, accept the message of what is possible, and go back to whatever approach they were doing already.