QuickCheck-2.12.2: Automatic testing of Haskell programs