TypeVar is a cool feature of Python's typing library, and is essential for correctly typing certain code.