Yeah, lenses let you do

    a & b.c.d .~ 5

To construct a new version of `a` where those nested fields have the new value 5.

Or for an in-place update in a context where that is allowed,

    a.b.c.d .= 5

The lens concept is incredibly nice.