QuickCheck-2.18.0.0: Automatic testing of Haskell programs