Sandbox::https://mypy-play.net/