QuickCheck WorkInProgress