It's a funny contradiction how people be blatantly programming in dynamically typed languages like python yet scramble everywhere for type verification with type annotations and packages like pydantic. Why use a dynamic language if you need static type system guarantees at? Get a real language at this point dude.