skip navigation


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.)

Indieweb interactions: Like/Reshare/Reply/Bookmark with Quill or Like/Reshare/Reply/Bookmark with Micropublish.