I see that as an advantage. What you're really doing is defining the interface for that function, and once the function is in use, you can't just change it will

I see that as an advantage. What you're really doing is defining the interface for that function, and once the function is in use, you can't just change it willy nilly. Having to alter the type is in some way a "are you sure you want to do that?" layer.