Testing

• HUnit, hspec
• QuickCheck, hedgehog, validity
• tasty, tasty-discover

• Properties
• Applicative-style generators
• Shrinking