QuickCheck-2.7.5: Automatic testing of Haskell programs