(motive : Except IO.Error Lean.FormatWithInfos → Sort u_1) →
  (__do_lift : Except IO.Error Lean.FormatWithInfos) →
    ((fmt : Lean.FormatWithInfos) → motive (Except.ok fmt)) →
      ((ex : IO.Error) → motive (Except.error ex)) → motive __do_lift