M4N asks:. Is there a reason why functions in most(?) programming languages are designed to support any number of input parameters but only one return value?

I don't want to dwell on how all of this works, including inner functions and Python's scoping rules. I do, however, want to ask the question "how can you use Mypy to check all of this?" You could ...