QuickCheck-2.4.1.1: Automatic testing of Haskell programs