 This generic quicksort consumes an order operator codice_32.Note the relative ease with which a small expression language is defined and processed.Example usage on correctly typed and incorrectly typed examples