cpp/experimental/ranges/utility/TaggedType

The concept is satisfied if and only if  is a unary function type of the form, where  is a.

Such types are used with the convenience alias templates and.