Comment by spaethnl

That 2nd one being a bug is exactly what the type system and NonEmpty types is designed to help prevent.