Concept

Also written: concepts, std::integral, std::floating_point, std::totally_ordered, std::movable, std::convertible_to

A named rule a template's type must follow, such as `std::integral` or your own `Priced`. It is checked at the call, so errors are short.