Explore advanced static typing concepts in Python beyond basic function annotations in this EuroPython 2019 conference talk. Delve into challenges encountered when type-checking large codebases with complex architectures and metaprogramming. Learn to leverage powerful tools like generics, signature overloads, protocols, and custom mypy plug-ins to maximize type checking advantages. Discover how thinking in terms of the type system can improve code quality. Cover topics including crashing, config, imports, unit tests, annotations, packages, weighted averages, nominal typing, and overloading function signatures. Gain insights applicable to any programming language with static typing.