seeking ideas for short lecture on type classes

[Norman Ramsey]

Now that I have made it abundantly clear that my understanding of type
classes is highly imperfect, perhaps I will repeat my plea:

  * Can you recommend any interesting, elementary examples?

  * Of all the many articles on the topic, which few might you
    recommend for beginners?  Would Faxen's static semantics be a good
    place to start?  Jones's `Typing Haskell in Haskell'?  One of Phil
    Wadler's papers (which one)?

Thanks again for any help,


Norman