Falsify: A New Property-Based Testing Library for Haskell

This blog post introduces Falsify, a novel property-based testing library for Haskell. Inspired by Python's Hypothesis library, Falsify implements internal shrinking, efficiently handling infinite data structures thanks to Haskell's lazy evaluation. Unlike QuickCheck's manual shrinking and hedgehog's integrated shrinking, Falsify uses sample trees instead of streams, resulting in more predictable and understandable shrinking behavior, especially when dealing with monadic bind.