Removed QuickCheck dependency.