haskell - Haskell のクイックソートの例で、リストの最初の項目が「p」なのはなぜですか?

Question

haskell.orgから:

quicksort :: Ord a => [a] -> [a]
quicksort []     = []
quicksort (p:xs) = (quicksort lesser) ++ [p] ++ (quicksort greater)
    where
        lesser  = filter (< p) xs
        greater = filter (>= p) xs

私の質問は、ここで「p」が表す単語は何ですか? 言い換えれば、なぜ(p:xs)ではなく(x:xs)？

Answer 1

私はちょうど答えを見つけました：

(p:xs)head 要素を持つ空でないリストを表す左側のパターンp(ピボット要素として使用)

「p」は「ピボット」の略です。