class C a where {
  type T a;
}

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