Marked vector types as Sequential Structs