Re: packages with orphaned instances only

Am 07.01.2011 14:07, schrieb Stephen Tetley:

On 7 January 2011 10:22, Christian Maeder wrote:

...

So is this a bad idea?

It sounds like a good idea to me.

There might be some details to trash out, e.g. the granularity of packages - should there be a Quickcheck-orphans with Arbitrary instances for many structures, or separate packages (quickcheck-containers-instances, quickcheck-array-instances, ...) and

it would need to be fine granular potentially combining every class package with every data-type package to avoid unnecessary dependencies. But quickcheck-containers-instances should (and naturally will) depend on quickcheck-array-instances (and re-export these instances) because containers happens to depend on array.

perhaps a new top-level Hackage category is needed so people know where to find them - "Canonical instances", "Orphan instances", ...?

Right, that must be decided by the community. It would contain many fairly small packages. Christian