QuickCheck-2.15: Automatic testing of Haskell programs