New PEP alarm! Limitations in software engineering are meant to be broken. For years I was bothered with the gap between Python and TypeScript: one has incredibly dynamic and powerful runtime, the other has incredibly dynamic and powerful type system. So why not both?