object T {
  type A <: B;
  type B <: A;
}