completely misunderstood the QuickCheck API