let
lt l1 l2 = (compare l1 l2) < 0