> What if < is implemented with a template? What if I don't want the concept to match in that case? The syntax I propose makes the specification significantly more concrete and therefore more reliable.
But by far the most significant advantage is that it makes the implementation far simpler. Concepts as they are right now are very ambitious and I don't trust them enough to make use of them because of this.
