Uint32Vec: Codec<NumLike[], number[]> = ...