QuickCheck-2.8.2: Automatic testing of Haskell programs