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