QuickCheck-2.5.1.1: Automatic testing of Haskell programs