hedgehog

• Lesson 9: The four laws of Applicative
• Lesson 7: Laws of the bifunctors
• Lesson 4: Breaking the laws!