Type Python code below and compare Pyright-like vs. Mypy-compatible diagnostics, powered by Zuban compiled to WebAssembly.