Actually, the definition of category (1) is weak and my definition as-is can still be the type piracy when the specification of types in the method signature is not enough.
Actually, the definition of category (1) is weak and my definition as-is can still be the type piracy when the specification of types in the method signature is not enough.