{motive : Lean.Lsp.FoldingRange → Sort u} →
  (t : Lean.Lsp.FoldingRange) →
    ((startLine endLine : ℕ) →
        (kind? : Option Lean.Lsp.FoldingRangeKind) →
          motive { startLine := startLine, endLine := endLine, kind? := kind? }) →
      motive t