NonEmptyList is very close to <https://en.wikipedi...

# language-proposals

[dmitry.petrov]

NonEmptyList is very close to https://en.wikipedia.org/wiki/Typestate_analysis.
Yes, that's a good thing, but more in the scope of static code analysis rather than compiler.