QuickCheck-2.1.0.1: Automatic testing of Haskell programs