• Singleton Types
• Alternative Values
• Dependent Types