A collection of extra types and features for mypy - View it on GitHub