The parameter can be a complex object (in parts without programming a Serializabler (Marshalling) or Deserializabler (Unmarshalling)).

This additional information is used by tools for the purposes of documentation, compiler checking, and code analysis.

But this much effort should really not be necessary; indexing and slicing should "just work" whether a concrete sequence or a iterator is involved.