OverloadedRecordDot and Lenses

[olivier.revollat]

Hello, does OverloadedRecordDot (GHC extension since 9.2) replace lenses concepts or are they meant to be use together ?