On Wed, Sep 14, 2005 at 06:31:01AM -0400, Cale Gibbard wrote: > By the way, Data.Set should perhaps be made an instance of Monoid in > the obvious way. It already is, but the instance is in Data.Monoid to prevent the non-portability of Data.Monoid (caused by the existing -> instance) infecting Data.Set.