{-# OPTIONS_GHC -fplugin=RecordDotPreprocessor #-}
data Foo = Foo { bar :: Int }

mfoo = fmap (.bar)   $ Nothing

bar = (  Foo 1).bar

fooplus f n = f{foo = f.bar + n}

fooplus' f n = f { foo = f.bar + n}

fooplus'' f n = f {foo = f.bar + n}

fooplus''' f n = f{ foo = f.bar + n}