It's very common to sort values which are all the same type (all integers, all strings, etc), and there are numerous optimization opportunities in those situations. Blocking sorts have the opportunity to observe all of the data they process before doing the sort, so we should be able to cheaply detect these cases at runtime.