TypeScript flavoring allows unbranded values to be implicitly converted into the branded type, but doesn’t allow implicit conversion between branded types.