A PEP to add a `@sealed` typing decorator to Python - View it on GitHub