Классическая линза (https://arrow-kt.io/docs/optics/lens/)
Generic о двух параметрах: тип объекта, тип поля.
Является парой getter + copying setter.
У вас 4 параметра у generic. Что ещё два значат?

а что это ? когда я учил это был сдк

Всё правильно, Java core — это стандартная библиотека, Java — язык. Они не равны.

У меня есть понятие схемы. Это объект, описывающий, какие у объекта есть поля и как он лежит в памяти, а-ля класс. Экземпляры — либо структуры Struct<Schema>, либо частичные структуры (не со всеми полями) PartialStruct<Schema>.
Дженерики<тип схемы, тип структуры, тип значения, описатель типа значения>.
Тип структуры нужен, чтобы описать, что определённая линза существует только для какого-нибудь частного случая (PrimaryKeyLens имеет смысл только на Record, подтипа Struct, хранимого в БД).
Описатель типа — штука про хранение. Там sealed class из вариантов — простой тип, коллекция, структура.

ну вот для меня много из "джава кор" узналось не из "джава кор". Хотя по факту первый яп я считаю жабу

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

мне кажется, я настолько в жёпе, что либо писать вопрос на SO, либо придумывать, как переделать, пусть менее правильно и с рантаймовыми проверками, но чтобы хоть компилилось

Я боюсь, вы всё это вместе не сможете вывести.

Или надо под кадый вариант отдельно прописывать типы

я как-то уже писал девять оверлоадов под разные типы. Не скомпилировалось 😢
здесь меньше, я готов их написать, но компилятор не вывод(з)ит

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

Предлагаю завтра пообщаться в оффлайне. Тут надо глубже в контекст задачи вникнуть, чтоб что-то дельное посоветовать.

понадобится если платформа джвм\андроид - глуппый вопрос, я еще и скажу что байт-код глянуть стоит

Эт я с радостью, буду очень благодарен. Куда подойти?)

Ну в смысле, в личке, а не в общем чате.

Джава кор это просто либа, которая идёт вместе в жвм. К джаве оно имеет отношение опосредованное.

А что это значит вообще непонятно

Ну опосредственное это как-то слишком сильно сказано. Все же core libraries это фундамент вокруг которого все построено

Ну для того, чтобы ими пользоваться, вовсе не надо детально синтаксис ЯП знать, на котором они написаны.
У питонистов, вон, большая часть core на C написана, но программировать им это не мешает.

А я разве что-то про синтаксис сказал? ;)