Just look at the so-called sort example from the repo:

    def sort(list: List(T)): List(T) where Ord(T) =
        match list do
            [] -> []
            [pivot | rest] -> sort(rest)
        end