packages with orphaned instances only

[Christian Maeder]

Am 07.01.2011 14:07, schrieb Stephen Tetley:
> On 7 January 2011 10:22, Christian Maeder <Christian.Maeder at dfki.de> 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