I loved reading this the other day. Thanks again for writing it. I'll be coming to this post often, I think.
I'm glad you enjoyed it! I'm working on one or two most posts in this vein in order to introduce quantified types and recursive types. So: more to come!