(motive : Except Lean.Kernel.Exception Lean.Environment → Sort u_1) →
  (x : Except Lean.Kernel.Exception Lean.Environment) →
    ((env : Lean.Environment) → motive (Except.ok env)) →
      ((ex : Lean.Kernel.Exception) → motive (Except.error ex)) → motive x