QuickCheck-2.7.4: Automatic testing of Haskell programs