let (<) a b = compare a b < 0