[yegle]

fwiw the original pytype team was laid off as part of laying off the Python team last year.

Google lays off its Python team | Hacker News https://news.ycombinator.com/item?id=40171125