Mypy landed in 2013 and brought optional static typing to Python. I was amazed to see how well-developed Mypy type system is. It has all the modern features of typed languages - union and opaque types, generics, and even structural polymorphism. In the presentation, I want to go through those features and show you how static typing looks in dynamically typed language.