QuickCheck-2.4.2: Automatic testing of Haskell programs