[ refactor ] A use of fromMaybe.
[ refactor ] A use of <$.
[ refactor ] Use lenses in impl of EtaPragma.
[ ETA ] pragma only applies to records
[ ETA ] pragma documented in CHANGELOG