simplify type deduction in tri1?(l|u)