can we not use the priority queue or topK monoid here since those are a bit optimized and don't need to do a total sort?