Glad to see that we have the type-checking equivalent of Ruff!