QuickCheck-2.4.0.1: Automatic testing of Haskell programs