{-# OPTIONS_GHC -fplugin=RecordDotPreprocessor #-}

data Foo = Foo {bar :: Int}

mfoo = fmap (.bar) $ Nothing

bar = (Foo 1).bar