(motive : Except String Lean.Lsp.LeanIleanInfoParams → Sort u_1) →
  (x : Except String Lean.Lsp.LeanIleanInfoParams) →
    ((params : Lean.Lsp.LeanIleanInfoParams) → motive (Except.ok params)) →
      ((x : Except String Lean.Lsp.LeanIleanInfoParams) → motive x) → motive x