I look for Type such that the below type-checks OK:
Type
import typing def f(a: str, collection: Type): return a in collection
that