:: Ord a => [a] -> [a] -package:data-ordlist is:exact -package:Agda package:xmonad-contrib

Sort a list and remove duplicates. Like deleteAllDuplicates, but trades off laziness and stability for efficiency.