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>>>