But that misses my point; the bug is that as a developer it's too easy to not write the correct check -- like exactly this one. The library function presented

But that misses my point; the bug is that as a developer it's too easy to not write the correct check -- like exactly this one. The library function presented to most developers (especially a novice one) should reflect the most common case, not the more-easy-to-compose case.