From design patterns to category theory (2017)
blog.ploeh.dk