Collecting examples of unsoundness in the Python type system - View it on GitHub