iterator category deduction from variadic parameters...