Refined the static types in quicksort example.