In case you don’t know what is nominal typing Typescript is a structural typing language, but it is possible to mimic the behavior of nominal typing language, very closely. We start with the easiest method: type AB = { a:number, b:number, x:never}
type BA = { a:number, b:number, y:never}
const ab:AB =…