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

mfoo = fmap (.bar)   $ Nothing

bar = (  Foo 1).bar