Edit File: nested_sequence.pyi