Next Atypical Typing 52

Huh???

        sort :: (Ord a) => [t] -> [a]

One way the impossible can occur is if it never can occur

``When the function returns, it could return a list of strings.''

``But it can't possibly return a list of strings.''

``Right!''

continued...


Next Copyright © 1999,2008 Mark Dominus