Quicksort does not typecheck anymore...