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.