QuickCheck-2.12.6.1: Automatic testing of Haskell programs