5.5. Special

5.5.1. Optional

from typing import Optional


def non_zero(number: int) -> Optional[int]:
    if not number:
        return None
    else:
        return number

5.5.2. Union

from typing import Union


def round(number: Union[int, float]) -> int:
    return int(number)

from typing import Union, Sequence


def fire_employees(e: Union[Employee, Sequence[Employee]]) -> None:
    print(employee)

5.5.3. Any

from typing import Any


def my_print(value: Any) -> None:
    print(value)

5.5.4. Literal

New in version Python: 3.8 See PEP 586

from typing import Literal

def accepts_only_four(x: Literal[4]) -> None:
    pass

accepts_only_four(4)   # OK
accepts_only_four(19)  # Rejected

from typing import Literal, overload


@overload
def open(path: str,
         mode: Literal["r", "w", "a", "x", "r+", "w+", "a+", "x+"],
         ) -> IO[str]: ...

@overload
def open(path: str,
         mode: Literal["rb", "wb", "ab", "xb", "r+b", "w+b", "a+b", "x+b"],
         ) -> IO[bytes]: ...