QuickCheck-2.11.1: Automatic testing of Haskell programs