QuickCheck-2.7.1: Automatic testing of Haskell programs