I do hope the community will converge on one type checker like ty. The fact that multiple type checkers exist is really hindering to the language as a whole.