TypeScript は構造的部分型だから無理

type Nekko = {
name: string
age: number
}

type Inu = {
name: string
age: number
}

これらは同じ扱いになる
っていう話？

それとも makeX 以外で X を作れなくしたいという話？
別に X を満たせば、 makeX 以外が X 作ってもよくない？
makeX が作った X と、makeX 以外が作った X が別物なのであれば、
それらは別の型だろう