seal Sequence and ArraySequence