QuickCheck-2.17.0.0: Automatic testing of Haskell programs