Concept Subsumption

You will be able to design hierarchical concepts that allow the compiler to pick the most specific implementation.