Type Safety, Representable States and Erlang | Hacker News Reader