QuickCheck-2.3: Automatic testing of Haskell programs