QuickCheck-2.9.2: Automatic testing of Haskell programs