pattern matching

• Atypical data constructors
• Type equality constraints
• Lesson 1: Introduction to case expressions
• Lesson 2: Case expressions practice
• Lesson 3: Validation functions
• Lesson 4: The Maybe Monad