Re: seeking ideas for short lecture on type classes

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