Lean.Server.DocumentMeta →
  IO.Process.Child Lean.Server.Watchdog.workerCfg →
    Std.Mutex (Option UInt32) →
      Option (Lean.Server.ServerTask Lean.Server.Watchdog.WorkerEvent) →
        Std.Mutex Lean.Server.Watchdog.WorkerState → Lean.Server.Watchdog.FileWorker