P2841R7

Concept and variable-template template-parameters