Feel free to use Zuban, it already supports Django models and is way ahead in typing support (and it's probably as fast as Ty).