QuickCheck-2.1.0.2: Automatic testing of Haskell programs