хотелось бы подробнее

кросево

оч круто

аж заскучал за своим балкончиком

грузинским

я не вижу других вариантов пофиксить Seq[A] / Option

Я хз какой уровень постироении это был есчо

Seq же еще и мутабельный потенциально вроде

т.е. Seq который используется для as :_* - суперкласс мутабельных `Seq`ов вроде

c 2.13 нет

это реально так чел, дегус берет с тя бабки чтобы пилить либу которую он выкинет  в опсос

маркетинг делает все

я на спидране показывал подход для простых типов

ну вот например на примере
https://github.com/TinkoffCreditSystems/tofu/blob/master/core/src/main/scala/tofu/Context.scala#L111
есть примесь с инстансом для полу-стандартного типа

Она примешивается в компаньоны
https://github.com/TinkoffCreditSystems/tofu/blob/master/core/src/main/scala/tofu/Context.scala#L107
И добавляется к следующим примесям
https://github.com/TinkoffCreditSystems/tofu/blob/master/core/src/main/scala/tofu/Context.scala#L90
Всё более слабые предки получают инстансы более сильных.
Но амбигуйти нет, потому что компаньон указывает свой тип для результата
https://github.com/TinkoffCreditSystems/tofu/blob/master/core/src/main/scala/tofu/Context.scala#L77
Получается, что из двух инстансов, когда компилятор его из-за проблем своих увидит в двух компаньонах - он выберет из более сильного компаньона, потому что там тип более точный.

Поэтому на самом деле, в котах можно легко сделать так, чтобы весь cats.instances не был нужен.
Потому что причина, по которой инстансы не запихали в компаньоны - амбигуйти, когда один инстанс в двух компаньонах

Понятно, будет Mappable и Foreachable, а все функторы -- контейнеры с ошибкой

Это позволило бы импорты не писать, и соответственно не хавать ошибок, когда два импорта одно импортят

Applicative правильно именно с помощью зипа писать кстати

с точки зрения педагогики и вообще