• Structure of the type checker
• Stdlib stubs
• Mypy daemon
• Mypyc