#python #mypy

Have you ever tried to:

- Create complex generic types in your own project?
- Write distributable stubs for your library?
- Create custom mypy plugin?
- Write custom type-checker?

In case you try to do any of these, you will soon find out that you need to test your types. Wait, what? Testing types?!