[P1180R0](https://wg21.link/p1180r0) Response to P1156 (Richard Smith) cross-reference: [P1156](https://wg21.link/p1156) Merged Modules and Tooling #318