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
signature.asc
Description: OpenPGP digital signature
