Defined QuickSort, and proved termination for a list. However, can not seem to be able to actually obtain the sorted value
merge