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.
Responses (?)
JavaScript needs to be enabled to show responses. (Although, it is not necessary for posting them.)