Debug.QuickCheck.Batch