{-# LANGUAGE OverloadedRecordDot #-}
{-# LANGUAGE OverloadedRecordUpdate #-}

data Foo = Foo {bar :: Foo}

mfoo = fmap (.bar) $ Nothing

bar = (Foo 1).bar

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

nestedFoo f = f.bar.bar.bar.bar.bar

nestedFooUpdate f = f{bar.bar = f.bar} <> f{bar.bar.bar.bar}

operatorUpdate f = f{(+) = 1}