{motive : Lean.Server.FileWorker.SignatureHelp.Candidate → Sort u} →
  (t : Lean.Server.FileWorker.SignatureHelp.Candidate) →
    ((kind : Lean.Server.FileWorker.SignatureHelp.CandidateKind) →
        (appStx : Lean.Syntax) → motive { kind := kind, appStx := appStx }) →
      motive t