QuickCheck-2.12.4: Automatic testing of Haskell programs