[P4174R0](https://wg21.link/p4174r0) Named, composable type sets for concept constraints (Emanuel Spiridon)
P4174R0 Named, composable type sets for concept constraints (Emanuel Spiridon)