Sure, it (and `AnnotationCheckers`) can be traits.