class C1 a where { }

class C2 a where {
  foo :: C1 a => a;
}