containers: intersections for Set, along with Semigroup newtype

Sven Panne svenpanne at
Sun Dec 6 18:58:53 UTC 2020

Am So., 6. Dez. 2020 um 19:56 Uhr schrieb Reed Mullanix <
reedmullanix at>:

> It doesn't violate any laws per say, due to the general lawlessness of
> Foldable, but violates aesthetics. [...]

To me it's just the other way around: It violates aesthetics if it doesn't
follow the mathematical definition in all cases, which is why I don't like
NonEmpty here.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the Libraries mailing list