nominal types in webassembly

(SPOILER ALERT)

I'm glad that after shaking my head in confusion, I checked out the final paragraph:

Friends, as I am sure is abundantly clear, this is a troll post :)

This reminds me of Standard ML, which has closed variant types, i.e. normal algebraic sum types. But you can declare exceptions, which share a single global open variant type.