This Tweag article on staged programming with typeclasses in #Haskell is pretty cool https://tweag.io/blog/2022-11-15-unrolling-with-typeclasses/
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.