cpp/iterator/indirectly unary invocable

The concepts and  specify requirements for algorithms that call (regular) unary invocables as their arguments. The key difference between these concepts and std is that they are applied to the type the references, rather than  itself.

Semantic requirements
Each concept is modeled by and  only if all concepts it subsume are modeled.