SFINAE и частичные шаблоны классов

Если вы хотите создать тип значения. Что-то вроде ProductSKU или AirportCode.

Когда примитивный тип (строка в моих примерах) определяет равенство, вы хотите переопределить равенство.