$ExtrinsicVersion: $.Shape<ExtrinsicVersion> = ...