QuickCheck-2.13.1: Automatic testing of Haskell programs