[macspoofing]

>putting in one more assert for predictable exceptional input (wrong type) doesn't really add a noticeable amount of overhead

Yes. We call that 'typing'.

[discreteevent]

And it takes less typing (keyboard) than the assert, and you get free documentation inline with the code!