Type-aligned_Sequence