Lambda the Ultimate Pattern Factory (2018)

From the intro:

"Recently, while re-reading through the Typeclassopedia I thought it would be a good exercise to map the structure of software design-patterns to the concepts found in the Haskell type class library and in functional programming in general."

Linked from the article posted in https://news.ycombinator.com/item?id=26112441