It's also made by the top contributor to erg (github user mtshiba), and erg is trying to be a compiled typed python.

If you're already making that then building a type checker wrapper on top of it makes perfect sense.