да

я не знаю, вот что-то не работает в моём примере?

зачем вам версия сёрки, с которой не работает деривация

это ну я даже не знаю, почти как использовать версию котоэффектов, с которой не работает тофу, продуктивити суисайд мишшн

кстати в основной репе circe есть свежий PR на конфигурируемую деривацию для скала 3, кто-то переписал с нуля то что там было. Тревис уже написал что хочет его включать в 0.15

спасибо, не видел

В скале очень важен скилл умения писать 5 строчек кода по заданной сигнатуре. Рекомендуется его развить

так вам ехать или шашечки?

Да, примерно так. Только сигнатуры в скале чуть лучше

тут как бы понимаете, вы одновременно захотели и шашечки и ехать, сначала придумали специальный подход для дизайна доменной области, а потом захотели, чтобы имеющиеся библиотеки поддерживали автоматически именно заказанный вами подход
я исходно хотел предложить решение помощнее с GADT, но решил упростить,
в этом примере Iso тоже можно выкинуть и автоматизировать на шейплесе, например и будет всё работать ещё автоматичнее
т.е. вы сами тут решаете больше вам хочется руками делать, или больше включить автомагизм типов
мой код посередине где-то

самое классное решение для такого подхода, мне кажется, могло бы получиться поверх какого-нибудь https://github.com/frees-io/iota

но либу перестали давно активно развивать

ну типа у вас есть куча независимых типов, а потом вы их объединяете как бы в дискриминированный юнион и хотите, чтобы в кодеки просто добавился дискриминатор

нет, разрабы этого редко хотят

то, что определение нового типа не должно менять определеняи существующих, совершенно ординарно
а то, что новый тип - это юнион, уже неординарно

я не понял этого стихотворения

я не знаю, вы дольше на рынке

не очень понятно, вы пытаетесь обвинить большинство разработчиков в том, что им редко бывает нужно то, что вам бывает нужно часто?

Выглядит как будто Владимир пытался похоронить скалу одним примером, но что-то пошло не так