Re: Erlang category?