Thanks for the bug report Anup. I'm mildly confused by what you meant, so please help me here: I interpreted your request as wanting any type that implements `method` and `__iter__` to be considered a subtype of `IterableWithMethod`. But this already works at runtime and with mypy. Are you perhaps saying that you want issubclass(Foo, IterableWithMethod) to work?