. . . . "What would genuinely solve the problem would be a device that, given two types L and R, computes the proper type of min(L, R)." .