remove QuickCheck dependency