Alexey Khudyakov <alexey.skladnoy at gmail.com> writes: > However when written this way it becomes obvious that > `zeroV' == `mempty' and ^+^ = mappend. Is Additive really needed then? If your type is a ring, you have two monoids; how would you choose? G -- Gregory Collins <greg at gregorycollins.net>