QuickCheck-2.11.2: Automatic testing of Haskell programs