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

зачем оптики, или зачем линзы?

Чтобы не писать копи миллион раз

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

Что значит неявно?

ну когда пишешь прозрачными чернилами видимо

ну есть же мотивация на сайте монокля

Но я даже про линзы я бы иначе выразился

с помощью оптик можно еще избегать всякие кастинги в коде

Недостаточная

Ну не используй

так в целом про любую фичу можно сказать и писать на го

И так

Серьезно?

К примеру если у вас было
case class Person(adress : Address)

а стало

case class Person( data: PersonalData)
case class PersonalData( address: Address)

такой классический рефакторинг

Если у вас мутабельная ,за счёт сеттеров у вас есть некоторая robustness. У вас был просто
void setAddress  ну или def address_=

и во второй версии вы его имплементировали как
this.personalData.setAddress, а с иммутабельными без линз нужно переписывать все места использования

получается внезапно, что мутабельная версия имеет большую устойчивость к рефакторингу и гибкость, чем иммутабельная, т.е. ломается один из главных пойнтов ФП

а с линзами у вас как был

adress: Lens[Person, Address]

так и остался

этого пойнта мне уже обычно достаточно конкретно для мономорфных линз

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

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

withAddress

на каждое поле в каждой структуре
Но зачем, если есть просто аннотташка.

Это не грабли, это рефакторинг