QuickCheck-2.10.1: Automatic testing of Haskell programs