let f (x : C.t1) = (x : C.t2)