flip :: Comparer a -> Comparer a flip comp = \ x y -> comp y x
mergesort comp xs mergesert (flip comp) xs
flip