But PyCharm's built-in type checker is far and away the best that I've used with proper type inference through multiple class inheritance hoops.