Yes, I agree with your sentiment. Also:

I thiiiiiiiink the cost of this is that type information won’t propagate outside the function

And ofc that applies to the function. itself, i.e. what will be the type of the variable that you store this function into? It opens a box of lots of issues, which is why I have the same feeling as you: those exceptional built-in things break my intuition about how things work, which is very annoying.

score 2 · canonical