How to use Mypyc to speed up Python