MonkeyType: A system for Python that automatically generates type annotations | Heykuki News