Huh??
sort :: (Ord a) => [t] -> [a]
But this is impossible
One way the impossible can occur is if it never can occur
