MMatthew Dean Martin @mistersql · Oct 15, 2025 mastodonDo I know mypy? Did you mean, "Do I know how to type ` # type: ignore[arg-type]`?" Yes.