QuickCheck-2.1.1.1: Automatic testing of Haskell programs