QuickCheck-2.12.1: Automatic testing of Haskell programs