QuickCheck-2.12: Automatic testing of Haskell programs