Comment by dvt

Weird idea, as types in TS are structural by design. If this is something you need, it smells like "runtime checking" not amending the type system.