An experimental set of data structures designed to enforce type safety.
Most of what I've tried to solve here has been created and exists in a superior form in the stdlib. You can see it here: https://docs.python.org/3/library/typing.html#type-aliases