(motive : Option (IO.Promise (Lean.Server.ServerRequestResponse Lean.Json)) → Sort u_1) →
  (responsePromise? : Option (IO.Promise (Lean.Server.ServerRequestResponse Lean.Json))) →
    ((responsePromise : IO.Promise (Lean.Server.ServerRequestResponse Lean.Json)) → motive (some responsePromise)) →
      ((x : Option (IO.Promise (Lean.Server.ServerRequestResponse Lean.Json))) → motive x) → motive responsePromise?