The Literal type was introduced with [PEP 586](https://www.python.org/dev/peps/pep-0586/) in Python 3.8 and [can be used with Pydantic](https://pydantic-docs.helpmanual.io/usage/types/#literal-type). With [`typing-extensions`](https://pypi.org/project/typing-extensions/) the `Literal` type can also be used in Python 3.6+. Would it be ok to introduce `Literal`?