Update QuickCheck.hs