import Control.Lens data MyRecord = MyRecord { _a :: Int, _b :: MyRecord } makeLenses ''MyRecord
over (b . b . a) (+5) myRecord
https://raw.githubusercontent.com/target/row-types/master/ex...