QuickCheck-2.10.0.1: Automatic testing of Haskell programs