{motive : Lean.Server.RequestHandler → Sort u} →
  ((fileSource : Lean.Json → Except Lean.Server.RequestError Lean.Lsp.DocumentUri) →
      (handle : Lean.Json → Lean.Server.RequestM (Lean.Server.RequestTask Lean.Server.SerializedLspResponse)) →
        motive { fileSource := fileSource, handle := handle }) →
    (t : Lean.Server.RequestHandler) → motive t