Use OverloadedRecordDot for nested optics access.

optics-dot

Use OverloadedRecordDot for nested field access and modification using optics from the "optics-core" package.

See the Haddocks for the Optics.Dot module for an example.

(Note that "optics-core" already provides syntactic sugar for field lenses in the Optics.Label module. It's based on OverloadedLabels instead of OverloadedRecordDot.)