Review all uses of invariant types like `typing.List`

[pquentin]

As shown in #2273 and #2321, using the List type in a library can be unnecessarily restrictive as it's an invariant type: https://mypy.readthedocs.io/en/stable/generics.html#variance-of-generic-types. This issue is about finding other cases where users can pass parameters typed as List or Tuple and fix them to use Sequence instead.