#~/.local/bin/mypy *.py
mypy *.py