QuickCheck-2.11: Automatic testing of Haskell programs