{motive : Lean.Lsp.FileChangeType → Sort u} →
  (t : Lean.Lsp.FileChangeType) →
    motive Lean.Lsp.FileChangeType.Created →
      motive Lean.Lsp.FileChangeType.Changed → motive Lean.Lsp.FileChangeType.Deleted → motive t