Нет траверса. Только свертку можно сделать со связыванием цепочки

вот эти слова "траверс, свертка, связывание цепочки" - это откуда? из какой теории?)

Да тут не траверс, а обмен местами функторов, на самом деле

f (g a) -> g (f a)

"Список рандомов в рандом списка" и подобные

да, потом в Cmd.batch можно отдать просто

привет всем, я правильно понял, что если мне хочется обновить nested record, то я как-то неправильно думаю? Как должно быть?

пример: у меня есть модель - App { modal: { a: True }, ... }
мне нужно modal.a на False заменить.

то есть в обновлении вложенного свойства ничего плохого нет?

Ну это считается протечкой абстракции, но иногда можно

подмодель по идее нужно подабдейтом обновлять

ок, то есть я должен написать функцию, которая будет принимать model.modal и возвращать новую modal, которую я затем в model верну?

Не, прям update использовать, соответствующий вложенной модели

Вкладываете модель — вкладывайте и update с view

Тогда оно будет композабельно

@maxfarseer
На примере модулей можно рассмотреть:
у вас есть App(у него model, update, view, subscribes, e.t.c.)
В рамках этого приложения есть условно Навигация  Nav(со своими: model, update, view, subscribes).
Область видимости Nav только ее model, .. e.t.c.

И порядок действий приблизительно следующий:
1. Произошел update App, внутри него вы поняли, что надо обновить навигацию, и вызвали Nav.update и передали параметры Nav.Model, Nav.Msg

@maxfarseer
Как правило если у вас есть какая-то атомарная(неделимая) сущность(модель) и в ней есть вложенность, то в принципе в этом никаких проблем нет, можно использовать вот так.

Если атомарная сущность, Еван учит не делать вложенность :)

Если что, я лично не вижу ничего плохого в таких вложенных апдейтах, пока сущность именно атомарна.

Вот ходить в чужую модель, если уже есть update для неё, я бы не стал

@maxfarseer
Посмотрите как тут код написан:
https://github.com/elm/package.elm-lang.org/tree/master/src/frontend

Если вы пишите какой-нибудь dsl, то как бы вам предметная область диктует условия