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.

But that’s not an empty string