sort :: (Ord a) => [a] -> [a] ここで出てくる「(Ord a) =>」が型クラスの制約を示す構文だそうです。今まで説明で「(Show a) => a -> String」とか「(Eq a) => [a] -> [a] -> Bool」なんて出てきて何だろうと思っていましたけど、これで一つ謎が解けました…