cpp/experimental/reflect/FunctionalTypeConversion

The concept is satisfied if and only if T reflects a.