Type predicates.

preds.cpp

template <typename T, typename U>
struct Or : std::bool_constant<T::value || U::value> {};

template <template<typename> class Predicate, typename... Ts>
struct any : false_type {};
template <template<typename> class Predicate, typename T, typename... Ts>
struct any<Predicate, T, Ts...> : Or<Predicate<T>, any<Predicate, Ts...>> {};

template <typename T> struct is_std_vector : false_type {};
template <typename T> struct is_std_vector<vector<T>> : true_type {};

static_assert(!any<is_std_vector>::value);
static_assert(!any<is_std_vector, int, bool>::value);
static_assert(any<is_std_vector, int, bool, vector<double>>::value);