 This code will sort lists of any type, so long as a consistent ordering function lt can be defined.Using Hindley–Milner type inference, the compiler is capable of inferring the types of all variables, even complicated types such as that of the lt function.Quicksort can be expressed as follows.