More efficient vector sorting snoyberg/classy-prelude#72