• What are the differences between type classes and canonical structures?
• Debugging