Erlang's Type System | Hacker News Reader