Не, вопрос шёл о том, как дерево заменить, т.е. имплиситы явно не писать.
Я так понял кай предложил сделать макро имплисит в самом компаньоне тайпкласса, который будет анализировать сигнатуру кейскласса, а в сигнатуре кейскласса приписывать какие-то дамми имплиситы.
Правда, не очень понял, как это поможет деривировать с параметрами, дописывать новые способы деривации или репортить в компиляции о конкретных отсутствующих кодеках для полей
Не, не в компаньоне тайпкласса, у тебя просто должна быть дерайвилка которую можно вызвать имплицитно, не важно где. И у тебя есть абстрактный класс который аллоцирует финитное количество implicit val
полей и который в конструкторе вызывает имплиситы и расставляет их по полям с нужными типами, оставляя незаполненным полям юзлесс тип например Null