Mpypy: Generic container with some methods only valid if extra protocols apply

Question

In mypy, how would you specify that a type Generic over T has methods that are only valid if T meets certain conditions?

For ex