K>>>А при?
K>>>class A: IX{...}
K>>>и
K>>>class B: IX, IY{...}

K>>>void DoSomething(IX x)
L>>>>IX x;
L>>>>if(x is IY){
L>>>>  //что-то делаем
L>>>>}
L>>>>