Some examples of variance for mypy.
Move demo code into a main() function.
Rename not-so-generic __parameters__ to other special names.
Add a test (for now failing) for equality of generic types.