Even more clarification on Type piracy

[ChrisRackauckas]

@Nosferican

Usually type piracy type 2 can be beneficial if it corrects wrong default behavior. For example, MyStruct should use a different behavior for a standard function because of the implied field or nature. I can then overload the common API to fix that. That is a beneficial aspect of type 2 piracy. Moreover, there are ecosystems that rely and encourage type piracy. For example,

This example isn’t type piracy. It’s defining a dispatch on a type that you own and will not effect the usage of other packages when your type is not in use. This is the encouraged method to avoid type piracy.