sort :: (Ord _a_) => [_t_] -> [_a_]

Atypical Types

65

Huh??

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

This says that we could put in any kind of list [t]

It does not even have to be ordered

And what we get out has nothing to do with what we put in

We could put in a list of Integer and get out a list of String

Which is impossible

Copyright © 1999,2008 Mark Dominus