How to statically type check python | Hacker News Reader