We propose a way to spell a universal template parameter kind. This would allow for a generic apply and other higher-order template metafunctions, and certain typetraits.
The proposal is fairly hard to read as the different topics and discussions are not in a logical order, and some recur later. I think we need to rehash this and move discussions that have been resolved to later parts of the document.
The proposal is fairly hard to read as the different topics and discussions are not in a logical order, and some recur later. I think we need to rehash this and move discussions that have been resolved to later parts of the document.