QuickCheck-2.13.2: Automatic testing of Haskell programs