C.toB {inst✝ : A 20000} [self : C] : B
inst1