QuickCheck-2.6: Automatic testing of Haskell programs