mypy app