Derived type definitions without explicitly mapped components may be thought of as ``extrinsic kind neutral''; a program unit of any HPF extrinsic kind may use derived type definitions from a module of any HPF extrinsic kind. Note that an Approved Extension permits the mapping of components of derived types.