Should the PVP be changed with regards to instances?

[Ganesh Sittampalam]

On 20/12/2011 17:51, Henning Thielemann wrote:
> 
> On Tue, 20 Dec 2011, Ganesh Sittampalam wrote:
> 
>> I'd argue against this: users who write orphan instances typically have
>> no choice, even if they know it's problematic. Contrast this to the fact
>> that we do allow new exports, because a cautious user of the package can
>> avoid problems by explicitly listing what they import.
> 
> The clean solution for orphan instances are separate modules that are
> approved by the maintainers of the concerned class and type. If the
> instance can be easily added to the package of the class or the package
> of the type, then it should be added there.

Agreed, but the situation here is that the no pre-approved solution
already exists and the author of something that wants those instances
has to decide what to do right away.

Ganesh