A Typed purely functional state machine: electronic voting with Scala | Hacker News Reader