QuickCheck-2.8.1: Automatic testing of Haskell programs