QuickCheck-2.9.1: Automatic testing of Haskell programs