Странно, что здесь не выкладывали:

C9 Lectures: Dr. Ralf Lämmel — Advanced Functional Programming

• 1. The Expression Problem
  
• 2. Type Classes

Незнакомым с type classes должно быть любопытно, да и вообще проблема интересная