t.py

from typing import MutableMapping, Mapping, Union

t = MutableMapping[str, Union[str, None]]
s = Mapping[str, Union[str, None]]

def f(x: t):
    ...

def g(x: s):
    ...

x = {
    "foo": "bar",
}

reveal_type(x)
f(x)
g(x)