{
  type A;
  type B;
  impl B < A {}

  print B; // out: <class B>
}