Function As Template Argument Deduction