• Typeclass search
• Dot notation
• Custom named projections
• Generic instances
• Conclusion