Ask HN: Anyone using Python's static typing in a large project?

I've read quite a lot about mypy and optional static typing in Python, and was wondering if there are any large and successful projects that use it? If you're currently using it, I'd love to hear some impressions.