Removing QuickCheck re-export.