GADT and State Machines | Hacker News Reader