Bjarne Stroustrup - Defining Sortable Types with Concepts (via searchlore.ai)