data D a b = D (a b);

class C a where {
  type T a := D a a;
}