6 Dec
2020
6 Dec
'20
1:58 p.m.
Am So., 6. Dez. 2020 um 19:56 Uhr schrieb Reed Mullanix < reedmullanix@gmail.com>:
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.