Der Typ von sort

zur Erinnerung: sort enthält:

let ( low, high ) = partition ( < ) xs in ...

Für alle a, die für die es eine Vergleichs-Funktion gibt, hat sort den Typ [a] -> [a].

sort :: Ord a => [a] -> [a]

Hier ist Ord eine Typklasse, so definiert:

class Ord a where
    compare :: a -> a -> Ordering
data Ordering = LT | EQ | GT

vgl. Java:

interface Comparable<T> 
    { int compareTo (T o); }