What is a TypeVar?

A TypeVar is a type variable used to write generic functions and classes. It allows you to express that two parameters or a parameter and return value have the same type without committing to a specific one. Generics enable type-safe containers and higher-order functions.