Previously I wrote about how amazing DerivingVia could be in Haskell. It turns out that it can also help to solve the Monad-Applicative-Functor overhead introduced in Haskell recently. This issue was broad up by Martin Escardo on Mastodon and the answer was provided on Well-Typed's youtube channel.