Концепции Regular и EqualityComparable реализованы в виде constexpr-предикатов.