QuickCheck-2.14.1: Automatic testing of Haskell programs