let
reverse cmp a b = -(cmp a b)