type A = {a: number}
type B = {b: number} & A;

interface I<T>{
    c: T
}

let a: I<A> = {c: {a: 4}};
let b: I<B> = {c: {a: 1, b: 2}}

a = b;



b = a;