QuickCheck-2.11.3: Automatic testing of Haskell programs