QuickCheck-2.14: Automatic testing of Haskell programs