This is like the C++ Concepts idea except for the control statements. The C++ Concepts work with the same idea except it is at compile-time and applies to the

This is like the C++ Concepts idea except for the control statements. The C++ Concepts work with the same idea except it is at compile-time and applies to the whole function or a type/class.