QuickCheck-2.4: Automatic testing of Haskell programs