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