• Motivation
• Observation vs. Construction
• Syntax
• Records
• Codata
• Infix copatterns
• Evaluation
• Productivity