Shall we copy some of the attributes to the result type?
Shall we copy some of the attributes to the result type?