• Constrained types
• Signatures that talk