Using Categories to Describe State Machines | Hacker News Reader