RE: seeking ideas for short lecture on type classes