QuickCheck-2.15.0.1: Automatic testing of Haskell programs