DData

[Sven Panne]

ross at soi.city.ac.uk wrote:
> How about making Data.Monoid portable, by replacing the a -> a instance
> with one for a newtype?

Although this would change the interface of Data.Monoid a tiny bit, this
seems the most attractive solution. I seriously doubt that the a -> a
instance is really widely used...

Do you have a concrete newtype in mind? I'm currently not sure if we already
have something like this...

Cheers,
    S.