Erlang encoder / decoder