Optics Are Monoids (2021)
haskellforall.com