Shape typing in Python | Hacker News Reader