QuickCheck-2.7: Automatic testing of Haskell programs