Implicit lambda parameter type inference