$TypeId: $.Shape<TypeId> = $.compactU32