Implementing quicksort in Scala's typesystem