Types with same name and different arity

[aronisstav]

Dialyzer does not support in the same module type definitions with the same name, even when they have different arity. Currently the suggested fix is to add the arity of the type as a suffix:

-type my_type(Arg) :: {my_atom, Arg}.
-type my_type() :: my_type(_).

should be replaced with:

-type my_type1(Arg) :: {my_atom, Arg}.
-type my_type0() :: my_type1(_).