I guess for a majority of HN readers abstract algebra is not "esoteric", and type systems is a very hot topic indeed. Even those pitiful articles from the dyna

I guess for a majority of HN readers abstract algebra is not "esoteric", and type systems is a very hot topic indeed. Even those pitiful articles from the dynamic typing zealots are very often coming to the front page, so a high quality explanation of a trendy topic in the modern type systems research should definitely attract a lot of attention.