instance visibility

[José Pedro Magalhães]

I'm trying to understand the implications of this discussion in the current
splitting off of SYB from base. In the division that was more or less agreed
[1], the Data class and its uncontested instances would be kept in base,
whereas the rest would go into a new syb package. The instances were
traditionally orphans in Data.Generics.Instances, but it was suggested that
they should now be moved into Data.Generics.Basics. This would make SYB free
of orphans, but no longer offers a user the possibility of avoid the import
of Data.Generics.Instances to define its own instances. It also invalidates
some of the changes proposed in [1], namely caring about the imports of
Data.IntMap, Data.IntSet, etc.

So my question is: should Data.Generics.Instances indeed be folded into
Data.Generics.Basics (which contains the Data class and associated stuff)?
(Worth noting is that the instances that are moved to the syb package will
remain orphans, but the idea is that those might change or disappear in the
future.)


Thanks,
Pedro

[1]
http://thread.gmane.org/gmane.comp.lang.haskell.libraries/9962/focus=9981
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/libraries/attachments/20080930/bbc11239/attachment.htm