At a very high level which you may have already found obvious, the type signature for the function basically says "this will take a list, and return a list that

At a very high level which you may have already found obvious, the type signature for the function basically says "this will take a list, and return a list that is sorted according to these rules, and is a permutation of the original list" basically proving that quicksort is correct at compile time.