QuickCheck-2.3.0.2: Automatic testing of Haskell programs