Я удивился, что в Control.Monad.State нет чего-то схожего
потому что в base нет ярковыраженного концепта линз, и поэтому даже в практически самом простом (где самый простой это изоморфизм) случае придется передавать две функции
потому что в base нет ярковыраженного концепта линз, и поэтому даже в практически самом простом (где самый простой это изоморфизм) случае придется передавать две функции
Если озвучить предложение внести линзы оптику в base в официальной обстановке, начнётся война на истребление