falsify is a Haskell library that reimagines internal shrinking for property-based testing.