Checks if unary predicate p returns true for all elements in the value t.
p(get<0>(ts)) && ... && p(get<N-1>(ts))
N
ts