pattern matching

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