The method in the article is very close to the idea of a "branded type". Though maybe there's a distinction someone can point out to me.