Comment by pcwalton

Interfaces have variance too, as long as they give rise to a subtyping relationship (which, in most languages that have them, they do).