class C a where {
  type T a b;
}

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