QuickCheck-2.7.6: Automatic testing of Haskell programs