made the new generic version of quicksort type check correctly.