Opposition to Python type hints

Or when it *won't* infer them by design.

Closures infer type signatures but functions don't because an explicit decision was made that functions should be fundamental units of API definition with no implicit dependencies to complicate reasoning about or parsing the code.