type InferTaskDone<TTask> =
  InferTaskErr<TTask> extends infer Errors
    ? Errors extends Done<infer D>
      ? D
      : never
    : never;