data D a b = DC a b;

class C a where {
  type T a;
}

instance C (D a a) where {
  type T (D a a) = Int;
}