[mountainriver]

Typing is also documentation. If you are documenting your code you’ll need to document the types for it to be useful so why not just type it and save yourself a whole bunch of runtime errors?