cpp/iterator/indirectly readable

The concept is modeled by types that are readable by applying, such as pointers, smart pointers, and input iterators.

Semantic requirements
Given a value of type,  models  only if all concepts it subsumes are modeled and the expression  is equality-preserving.