A concept satisfied when T is an instantiation of the class template Templ.
Declared in <folly/Traits.h>
<folly/Traits.h>
template< typename T, template<typename...> typename Templ> concept instantiated_from = is_instantiation_of_v<Templ, T>;