> mypy won't make your Python faster

Mypyc will do. See https://blog.glyph.im/2022/04/you-should-compile-your-python...