QuickCheck-2.12.3: Automatic testing of Haskell programs