Higher Order Type Tuple Predicate

[Nordlöw]

Is there some trait in Phobos to check if each element of a type 
tuple fulfil a type predicate?

I want this in a variadic function limiter to assert that all its 
arguments function fulfils a predicate.

Something like:

void f(T...)(T args) if (All!(T,SomePredicate))
{
...
}