{motive : Lean.Compiler.LCNF.UseClassification✝ → Sort u} →
  motive Lean.Compiler.LCNF.UseClassification.ownedArg✝ →
    motive Lean.Compiler.LCNF.UseClassification.other✝ →
      motive Lean.Compiler.LCNF.UseClassification.none✝ → (t : Lean.Compiler.LCNF.UseClassification✝¹) → motive t