The code may look like this:template <typeid X>concept some_trait {};template<class T> someClass where {some_trait<T>} /* class def follows */The {} after the where clause is a set of predicates requiring specific concepts be supported by the class T. Of course, we have to define how a concept is defined in terms of valid types and operations.