lte : Int Int -- Bool
    =: [ swap > ]