QuickCheck-2.1.0.3: Automatic testing of Haskell programs