Classes
Abstraction(function, args, kwargs)
Abstraction
Variable()
Variable
should only be equal to itself
Fixed pointer operator, used to define recursive functions.
TypeVar(T)
TypeVar
T