See Problem 3.4
exr:mergesort
