Our journey to type checking 4M lines of Python | Heykuki News