QuickCheck-2.14.2: Automatic testing of Haskell programs