Exhaustive Type Checking in Redux | Hacker News Reader