QuickCheck-2.7.3: Automatic testing of Haskell programs