Subtype and derived type