QuickCheck-2.7.2: Automatic testing of Haskell programs