I was expecting the article to get to the end and have him invent an massive type system that allows you to pass any two types as long as your can add them toge

I was expecting the article to get to the end and have him invent an massive type system that allows you to pass any two types as long as your can add them together. Which, of course, is what it did at the beginning.