Add QuickCheck as a dependency