Erlang: recursive types tests