(motive : Except String Lean.Lsp.DocumentUri → Sort u_1) →
  (r : Except String Lean.Lsp.DocumentUri) →
    ((id : Lean.Lsp.DocumentUri) → motive (Except.ok id)) → ((e : String) → motive (Except.error e)) → motive r