Comment by dunefox

As with package managers, there seem to be half a dozen different, competing type checkers for Python now...