[VMG]

Empty strings are usually an artifact of lazy developers paying a minimal "empty" value for a type (just as 0 for numbers).

A type like NonEmptyString is a weak defense against that, as a lazy dev can just pass a single space character or something similar.

[anon7000]

But that’s not an empty string

[VMG]

but just as useless