On: TypeScript: Branded Types

[odyssey7]

Nope, if you have lower expectations for your type system and are using TS then you are properly where you want to be.