[two_handfuls]

I see, so in that second case it’s a runtime check rather that a static check. That makes sense.

[lmm]

Depends on the rest of your type system. If your language is capable of tracking whether a list is empty then it can allow dropping empty lists without a runtime check.