Нет, конечно, если есть один истинно верный формат идентификаторов, в которых мы всегда знаем, какие инстансы нужны, какие не нужны и как их делать - трейт меньше бойлерплейта. Шаг влево, шаг вправо - внезапно "тебе это просто не надо".

Шаг влево и шаг вправо - и переопределяй инстанс на здоровье

Удалить мне тоже через override?

Сколько раз удалял?

Ну т.е. реально ли удобнее opt-in чем opt-out для инстансов айдишников

Но вообще - да

если новое значение с же именем что и имплисит в скоупе он не подхватится

вообще конечно это звучит как хак

ну челы, ну Бартоссо один раз ы жизни удалял инстанс

удалил строку?

сколько раз в жизни было у Кирилла такое, что не нужен был инстанс для чего-то

Я посмотрел — я точно больше 3х строчек испольую: TaggedType, TaggedType0, NewType0, LiftF.
Да, можно это было бы сделать самому. И, наверное, получилось бы намного меньше кода, чем в либе. Но зачем? Я вообще не хочу тратить время на то, что уже сделано и вынесено в либу. Плюс, сама предметная область тут не самая простая. Я видел в исходниках supertagged отсылки к каким-то проблемам в других подобных либах и к багам скала компилятора. Я вот вообще не хочу туда лезть и разбираться с этим. Я хочу, чтобы просто работало. Библиотека даёт мне такую возможность.

для этого потребуется миньон

Любопытно, что среднестатистическому индусу даже 3-строчки покажутся лишними и не нужными. Также любопытно и то, что занимаясь рутинными задачами люди склонны сужать свое мировоззрение и с подозрением относится к тому, что у кого-то цели и задачи могут отличаться. Токсик невер ендс.

Интересная мысль от рудогмы в сторону непонятно кого

Хоть бы уточнял, кого он тыкает

ну тут либо ты индус, либо с суженным мировоззрением

+
по всем проехался

но как говорят классики constraints liberate, liberties constrain