class C a b where {
  type T a c b;
}