automatic type deduction examples