QuickCheck-2.17.1.0: Automatic testing of Haskell programs