A <= B ?
B <= A ? 

interface A {
  int m(B x);
}

interface B {
  void  m(A x);
}
