[expos.only.func] introduces exposition-only function templates. [expos.only.types] introduces exposition-only types. [objects.within.classes] introduces exposition-only private members. There is nothing about exposition-only concepts, despite them being used extensively in the library clauses. The same problem exists for exposition-only variable templates.