Maybe create `Violation::operator ==` ?