Debug.QuickCheck.Poly