• CEP 522 - Fused Types, a.k.a implicit interfaces
• Fused types
• Functions
• Classes
• Special cases
• Open issues