j
k
j a
j l
Alexey Khudyakov 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
Back to the thread
Back to the list
