But also look at MyPy's internal MyPyC if you want something that uses type information for some speedups.