private Option <int> GetNextMarkIndex() { if (_marks.Count == 0) { return(new None()); } var index = _marks.FindInsertionIndex(CurrentPos()); return(index >= _marks.Count ? new None() : new Option <int>(index)); }