I’ve put together a draft of a new proposal to the C++ ISO committee. It’s tentatively titled “Type List Indexing” and can be found at GitHub: type-list-indexing.md
This is my follow up to the paper I authored last year, N3761.
Comments, suggestions, and feedback welcome.