{α : Type} →
  (motive : Except Lean.Server.RequestCancellation α → Sort u_1) →
    (r : Except Lean.Server.RequestCancellation α) →
      ((a : Lean.Server.RequestCancellation) → motive (Except.error a)) → ((v : α) → motive (Except.ok v)) → motive r