{α : Type} →
  {motive : Plausible.ArbitraryFueled α → Sort u} →
    (t : Plausible.ArbitraryFueled α) →
      ((arbitraryFueled : ℕ → Plausible.Gen α) → motive { arbitraryFueled := arbitraryFueled }) → motive t