As of 2023, this library is largely obsolete: arbitrary test generators with
shrinking such as [falsify](https://hackage.haskell.org/package/falsify) offer
much better user experience.
SmallCheck is a testing library that allows to verify properties for all test
cases up to some depth. The test cases are generated automatically by
SmallCheck.