Mypy is also able to check things that are inexpressible with stubs, among other things