what's the design rule to define contravariant interfaces and non-contravariant interfaces? [closed]