let gt l1 l2 = (compare l1 l2) > 0