Comment by whimsicalism

i believe there is a type checker branch on ruff git