{motive : CasesAltInfo → Sort u} →
  (t : CasesAltInfo) →
    ((ctorName : Lean.Name) → (numFields : ℕ) → motive (CasesAltInfo.ctor ctorName numFields)) →
      ((numHyps : ℕ) → motive (CasesAltInfo.default numHyps)) → motive t