mypy plugin should be installable as an "extra"

[jspahrsummers]

https://setuptools.readthedocs.io/en/latest/setuptools.html#declaring-extras-optional-features-with-their-own-dependencies

This would also allow us to put version constraints on it, for dependent packages.