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