Closed thoughtpolice closed 4 years ago
In more abstract terms, the identity members of the
min/max
monoids are not zero, butmaxBound/minBound
!
Can we fix this by setting cMin
to maxBound
and cMax
to minBound
in newCDistrib
instead?
Answering myself: see this comment by @thoughtpolice.
Merged and released on Hackage.
The included commit messages have extensive details included, and are independent of each other, but I decided to submit them as a batch.