Type Checking If Expressions | Hacker News Reader