(motive : Except String (Option Lean.Json.Structured) → Sort u_1) →
  (x : Except String (Option Lean.Json.Structured)) →
    ((params? : Option Lean.Json.Structured) → motive (Except.ok params?)) →
      ((x : Except String (Option Lean.Json.Structured)) → motive x) → motive x