cpp/experimental/reflect/Typed

The concept is satisfied if and only if T reflects an entity with a type.