sort :: (Ord a) => [t] -> [a]
“Given a list of numbers, it could return a list of strings.”
“But it can't possibly return a list of strings.”
“Right!”