QuickCheck-2.2: Automatic testing of Haskell programs