What do you think about releasing this to Hackage? I wanted to sort an arbitrary `Traversable` today, and this work came to mind.