So

  sort ≡ head ∘ sort ∘ permutations

I wonder if there is some neat (and totally useless) algorithm for sort using that info.