Stefan Behnel wrote: > However, it does not support protocols, so it still needs > something that allows us to say Iterable(int) in some way. Just had a thought -- does mypy provide a way to express a type that supports more than one protocol? E.g. can you say that something must be both Iterable and Hashable? -- Greg