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