Is there a definitive document describing what Erlang types are supposed to be? I'd like a reference to one document (not the grammar) that defines what types are *supposed* to be. The best In could find is http://www.erlang.org/eeps/eep-0008.html Is this the definitive document? /Joe