[b450]

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.