• Prerequisites
• Minimal example
• What you type:
• What the JVM gets:
• Resettable types
• Cleared types