data D a = D a;

class C a where {
  type T a;
}

instance C D where {
  type T D = Int;
}