Derived type
A derived type is a type given a new type but structurally the same as the original type. The purpose of this type is create a new type name so that two values can have two distinct types in terms of name. It matters if the type system uses a name equivalence rule but does not matter if the system uses a structural equivalence.