Branding works on primitive types as well, which is I think the most interesting use case. I would also agree that it's harder to confuse complex types as any

Branding works on primitive types as well, which is I think the most interesting use case. I would also agree that it's harder to confuse complex types as any single instance of a type is unlikely to overlap once you have a few fields.