{α : Sort u_1} →
  [inst : Plausible.SampleableExt α] →
    {β : α → Prop} →
      [(x : α) → Plausible.Testable (β x)] →
        Plausible.Configuration →
          String →
            (x : Plausible.SampleableExt.proxy α) →
              Plausible.TestResult (β (Plausible.SampleableExt.interp x)) →
                Plausible.Gen
                  ((x : Plausible.SampleableExt.proxy α) × Plausible.TestResult (β (Plausible.SampleableExt.interp x)))