On Wed, Feb 25, 2009 at 4:51 PM, Jean-Philippe Bernardy <jeanphilippe.berna...@gmail.com> wrote:
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.
Is that bad? I mean, if we can get a whole bunch of Initializable instances, are some pragmas a bad thing? (I'll admit I don't really understand this; I just have an intuition that we should be able to steal mempty for initial, if the former is defined.) -- gwern
signature.asc
Description: OpenPGP digital signature
