When is a part an element and when is a part a type? Or, more
concretely, what goes on the wire in the later case? 

Reply via email to