JoCaml has an additional primitive type : the type typexpr Join.chan of asynchronous channels that carry values of type typexpr. The type is primitive in the sense that compiler knows about it. Synchronous channels are typed as functions.
