`@Trait` ?