QuickCheck-2.12.5: Automatic testing of Haskell programs