RE: Haskell Type System & Nameable type parameters

[Simon Peyton-Jones]

Kevin

You might also find my paper "Bulk types with class" useful
        http://research.microsoft.com/~simonpj/papers/collections.ps.gz

For a discussion of the type-class design space you might find
this helpful
        http://research.microsoft.com/~simonpj/papers/multi.ps.gz

And don't forget about Chris Okasaki's upcoming library.

Simon