mypy added support for them in https://github.com/python/mypy/pull/17457, but it differs from ours: ```py # mypy: foo: {"foo": str} # basedpyright: foo: dict[{"foo": str}] ``` i like mypy's one better so we should switch to that instead