{P : Sort u} →
  {fw : Lean.Server.Watchdog.FileWorker} →
    {ev : Lean.Server.Watchdog.WorkerEvent} →
      {fw' : Lean.Server.Watchdog.FileWorker} →
        {ev' : Lean.Server.Watchdog.WorkerEvent} →
          Lean.Server.Watchdog.ServerEvent.workerEvent fw ev = Lean.Server.Watchdog.ServerEvent.workerEvent fw' ev' →
            (fw = fw' → ev = ev' → P) → P