QuickCheck-2.3.0.1: Automatic testing of Haskell programs