Lean.Server.FileWorker.WorkerContext →
  Lean.Server.FileWorker.WorkerState →
    Lean.JsonRpc.RequestID →
      String → Lean.Json → Lean.Server.RequestM (Option (Lean.Server.RequestTask Lean.Server.SerializedLspResponse))