That said, `HeadCommitId` can absolutely contribute to equality. Something feels wrong to me about `IndexCommitId` and `WorkdirCommitId` contributing to equality, but I can't put a finger on exactly what it is.