1. Так трейты нужны не только для кор тимы.
2. Ну для таких типов особо ничего иного не приудмаешь.
Ну и ещё одна теория - если хочется иметь сумму, но не иметь перегрузки оператора через Add, хотя это редкий кейс.
1.1. для редких типов можно было бы сделать и кастомный метод
1.2 можно было бы хотя бы бланкет реализацию сделать
2. а для каких придумаешь?)
Ну то ест ьможно из пальца высосать наверное примеры, но ИМХО ваще вот необосоновано такое