Initializable is less restrictive than monoid (no mappend); so it's useful to keep as such. Adding Monoid => Initializable is ok but requires overlapping instances in many places I'm afraid.
Cheers, JP. On Wed, Feb 25, 2009 at 10:44 PM, <gwe...@gmail.com> wrote: > So I was wondering when I was looking at the Initializable typeclass. Would > it make sense if the default Initializable for a given type could be > 'mempty', if Monoid is already defined? As far as I can tell, Initializable > is the same thing as Monoid except without any mappend or mconcat. This > would allow me to scrap my Seq instance, since Seq is one of the (many) > datatypes which already has Monoid - and mempty - defined for it. > > -- > gwern --~--~---------~--~----~------------~-------~--~----~ Yi development mailing list yi-devel@googlegroups.com http://groups.google.com/group/yi-devel -~----------~----~----~----~------~----~------~--~---
